The following pages link to (Q5646883):
Displaying 7 items.
- Another paradox in naive set-theory (Q878158) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- Completeness of the normal typed fragment of the \(\lambda\)-system \(U\) (Q1237066) (← links)
- Finite investigations of transfinite derivations (Q1254248) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Inductive families (Q1336951) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
