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

Be the first to leave a comment!