Items where authors include "Larrea, MF"

[up] Up a level
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 Wed Apr 2 11:10:31 2025 BST.