Theoretical Computer Science
Meta user
Network profile
680
reputation
4
11

Anthony

Type theory and formal languages.

3
answers
4
questions
~13k
people reached
  • Lisbon, Portugal
  • falsifiable.net
  • Member for 8 years, 8 months
  • 72 profile views
  • Last seen Jan 21 '19 at 6:12

Communities (14)

Top network posts

Top tags (11)

Score 20
Posts 3
Posts % 43
Score 20
Posts 3
Score 17
Posts 4
Score 10
Posts 3
Score 10
Posts 1
Score 10
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

17 What is the difference between propositions and judgments? Jan 20 '12
10 Is compiler for dependent type much harder than an intepreter? Aug 27 '13
9 What is the role of the Bicolored Calculus of Constructions? Jul 28 '11
7 Implications of the rule of cumulativity in the Calculus of Constructions Jun 4 '11
6 With equirecursive types are there downsides to making all types potentially recursive? May 21 '11
4 What formalisms exist to describe the translation of an abstract syntax tree into another formal language? May 24 '11
3 Automatic proofs or model checking in an extremely simplified functional language Feb 11 '12

Badges (15)

Gold

—

Silver

4

Rarest

Bronze

11

Rarest

View all badges →