1 results
ETA-RULES IN MARTIN-LÖF TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 22 July 2019, pp. 333-359
- Print publication:
- September 2019
-
- Article
- Export citation