173
Reputation
89 views
Is this your account?

Registered User 

Name
Member for 3 years
Seen May 9 at 4:22
Website
Location
Age
3

Questions
votes newest views recent
1

1
9
votes
2
answers
742
views

What is the manner of inconsistency of Girard’s paradox in Martin Lof type theory

mar 13 10 at 21:40 Adam 1,970●1●5●18

3

 

0

Answers

 

18

Votes
18

 

6

Tags






 

5

Badges
● Popular Question
● Nice Question
 ● Scholar
● Supporter
 ● Student