Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
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
  • 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 →