The following pages link to (Q4789460):
Displayed 6 items.
- A formalist philosophy of mathematics. I: Arithmetic (Q603904) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)