- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Mathematical Structures Within Simple Type Theory ; day:23 ; month:7 ; year:2024 ; pages:1-30
Studia logica ; (23.7.2024), 1-30
- Creator
-
González-Castillo, Samuel
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-024-10133-1
- URN
-
urn:nbn:de:101:1-2410090815307.186568015251
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- González-Castillo, Samuel
- SpringerLink (Online service)
Other Objects (12)
Mathematical theory of elastic structures
Mathematical theory of uniform elastic structures
Mathematical structures in quantum information theory: tensors, correlations and state estimation
Mathematical scattering theory
Mathematical control theory
Mathematical game theory :
Mathematical structures of epidemic systems
Mathematical theory of democracy
Computational & mathematical organization theory
Mathematical theory of scattering :
Mathematical structures in the theory of programming languages : an annotated selection of publications
Mathematical Structures of Non-perturbative Topological String Theory: From GW to DT Invariants
Mathematical theory of elastic structures
Mathematical theory of uniform elastic structures
Mathematical structures in quantum information theory: tensors, correlations and state estimation
Mathematical scattering theory
Mathematical control theory
Mathematical game theory :
Mathematical structures of epidemic systems
Mathematical theory of democracy
Computational & mathematical organization theory
Mathematical theory of scattering :
Mathematical structures in the theory of programming languages : an annotated selection of publications
Mathematical Structures of Non-perturbative Topological String Theory: From GW to DT Invariants
Mathematical theory of elastic structures
Mathematical theory of uniform elastic structures
Mathematical structures in quantum information theory: tensors, correlations and state estimation
Mathematical scattering theory
Mathematical control theory
Mathematical game theory :
Mathematical structures of epidemic systems
Mathematical theory of democracy
Computational & mathematical organization theory
Mathematical theory of scattering :
Mathematical structures in the theory of programming languages : an annotated selection of publications