Pages that link to "Item:Q5740650"
From MaRDI portal
The following pages link to A generalization of the Takeuti–Gandy interpretation (Q5740650):
Displaying 5 items.
- A Kripke model for simplicial sets (Q2257308) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- Homotopical patch theory (Q5371976) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)