6

Answers
votes newest views recent
8
Between mu- and primitive recursion
2
Surreal Numbers as Inductive Type?
2
Categories presented with Arrows only, no objects: partial monoids
1
Categorical Brouwer-Heyting-Kolmogorov interpretation
2
Are innermost reductions perpetual in untyped $\lambda$-calculus?
2
intensional equaity in type theory