Theoretical Computer Science
Meta user
Network profile
550
reputation
3
11

Anthony

Type theory and formal languages.

3
answers
4
questions
~12k
people reached
  • Lisbon, Portugal
  • falsifiable.net
  • Member for 8 years, 1 month
  • 71 profile views
  • Last seen Jan 21 at 6:12

Communities (10)

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 (14)

Gold

—

Silver

3

Rarest

Bronze

11

Rarest

View all badges →