Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Anthony
  • Member for 11 years
  • Last seen more than 1 year ago
Profile Activity
Stats
710
reputation
15k
reached
3
answers
4
questions
Communities
View all
About

Type theory and formal languages.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
23
Score
3
Posts
43
Posts %
23
Score
3
Posts
43
Posts %
20
Score
4
Posts
57
Posts %
10
Score
3
Posts
43
Posts %
10
Score
1
Posts
14
Posts %
10
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
20
What is the difference between propositions and judgments?
Jan 20, 2012
answer
10
Is compiler for dependent type much harder than an intepreter?
Aug 27, 2013
question
9
What is the role of the Bicolored Calculus of Constructions?
Jul 28, 2011
question
7
Implications of the rule of cumulativity in the Calculus of Constructions
Jun 4, 2011
question
6
With equirecursive types are there downsides to making all types potentially recursive?
May 21, 2011
question
4
What formalisms exist to describe the translation of an abstract syntax tree into another formal language?
May 24, 2011
answer
3
Automatic proofs or model checking in an extremely simplified functional language
Feb 11, 2012
Top network posts
View all network posts
31
Why don't we see faster 7400 series chips?
24
What's the best way to get text user-interfaces (ncurses-like) functionality in Java?
19
Were there any 8-bit CPUs with 24-bit addressing?
11
What does first-order co-intuitionistic logic look like (and does it have an equivalent type theory)?
9
How can I implement a very simple asynchronous DRAM controller?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.