Mathematical Structures Within Simple Type Theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Mathematical Structures Within Simple Type Theory
Συγγραφείς:	González-Castillo, Samuel^{Aff1, IDs11225024101331_cor1}
Πηγή:	Studia Logica: An International Journal for Symbolic Logic. 113(6):1513-1542
Βάση Δεδομένων:	Springer Nature Journals

Περιγραφή
ISSN:	00393215 15728730
DOI:	10.1007/s11225-024-10133-1