Repository
How to publish
Resources
FAQs

Mathematical structures within simple type theory

Author:
González Castillo, SamuelUniovi authority
Publication date:
2024
Publisher version:
http://dx.doi.org/10.1007/s11225-024-10133-1
Citación:
Studia Logica (2024); doi:10.1007/s11225-024-10133-1
URI:
https://hdl.handle.net/10651/77724
ISSN:
0039-3215
DOI:
10.1007/s11225-024-10133-1
Patrocinado por:

CRUE-CSIC; Springer Nature

Collections
Files in this item
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record