Theoretical Computer Science
StudentType's user avatar
StudentType's user avatar
StudentType's user avatar
StudentType
  • Member for 8 years, 1 month
  • Last seen more than 6 years ago
Profile Activity
Stats
777
reputation
4k
reached
0
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
0
Score
8
Posts
100
Posts %
0
Score
5
Posts
62
Posts %
0
Score
4
Posts
50
Posts %
0
Score
4
Posts
50
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
question
14
Church-Rosser property for dependently typed lambda calculus?
Dec 15, 2015
question
13
What are the negative consequences of extending CIC with axioms?
Dec 19, 2015
question
11
Does the Law of Excluded Middle imply the Axiom K in Martin-Löf's Intensional Type Theory?
Mar 13, 2017
question
9
Contradiction between Gödel's Second Incompleteness Theorem and the Church-Rosser's property of CIC?
Dec 31, 2015
question
7
Type checking, Hypothetical judgments, meaning explanations and computational type theory
Oct 9, 2016
question
6
How to mechanically derive the recursor of a type from its constructors?
Apr 9, 2017
question
4
What is a canonical term of $\text{Id}_A(x,y)$ if $x$ is not jugdmentally identical to $y$?
Apr 25, 2016
question
1
What's wrong with this LEAN proof? [closed]
Aug 23, 2015
Top network posts
View all network posts
28
How do we construct the Gödel’s sentence in Martin-Löf type theory?
17
Why do we show that structures aren't isomorphic by exhibiting a property not shared by one of them?
15
Categorical semantics explained – what is an interpretation?
14
Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?
11
How is 3DS' online gaming experience affected by China's Great Firewall?

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.