The following pages link to (Q3138826):
Displaying 4 items.
- Normal functors, power series and \(\lambda\)-calculus (Q1103618) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
