9

Questions
votes newest views recent
 
0
votes
1
answer
146
views

prod and sig in COQ

jan 11 at 15:22 MathOverflow♦ 1●2●3

1
1
vote
1
answer
244
views

Right adjoint to pullback functor

nov 8 at 12:37 Todd Trimble 22.3k●1●62●96

1
2
votes
0
answers
253
views

Groupoid interpretation of type theory

sep 17 at 22:02 Todd Trimble 22.3k●1●62●96

 
3
votes
1
answer
280
views

intensional equaity in type theory

sep 2 at 22:52 kow 251●1●2

 
1
vote
0
answers
89
views

Decidability of type checking

jul 27 at 13:37 Asymptotik 225●7

 
1
vote
0
answers
209
views

Set theory with selective ultrafilter

apr 4 12 at 7:04 Asymptotik 225●7

 
1
vote
3
answers
492
views

Predicative definition

aug 28 10 at 17:50 Victor Protsak 7,751●1●30●44

4
3
votes
6
answers
1k
views

Books about polynomials

mar 12 10 at 2:28 Felipe Voloch 16.6k●2●36●61

5
6
votes
1
answer
2k
views

Grothendieck VS Deligne [closed]

feb 23 10 at 23:08 Greg Kuperberg 36.2k●2●116●179