Items where authors include "Larrea, MF"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Gambino, N orcid.org/0000-0002-4257-3590 and Larrea, MF (2023) Models of Martin-Löf Type Theory from Algebraic Weak Factorisation Systems. The Journal of Symbolic Logic, 88 (1). pp. 242-289. ISSN 0022-4812

This list was generated on Sun Apr 21 02:55:00 2024 BST.