Crossmark

Mathematical Structures Within Simple Type Theory

Crossref DOI link: https://doi.org/10.1007/s11225-024-10133-1

Published Online: 2024-07-23

Published Print: 2025-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

González-Castillo, Samuel https://orcid.org/0009-0005-5641-0169
Funding

Funding for this research was provided by:

Universidad de Oviedo
License Information

Text and Data Mining valid from 2024-07-23

Version of Record valid from 2024-07-23
More Information

Article History

Received: 14 April 2023

First Online: 23 July 2024