Mathematical Structures Within Simple Type Theory

Bibliographic Details
Title:	Mathematical Structures Within Simple Type Theory
Authors:	González-Castillo, Samuel^{Aff1, IDs11225024101331_cor1}
Source:	Studia Logica: An International Journal for Symbolic Logic. 113(6):1513-1542
Database:	Springer Nature Journals

Description
ISSN:	00393215 15728730
DOI:	10.1007/s11225-024-10133-1