Login
Create Account
Search & Browse
Advanced Search
Browse by Author
Browse by Subject
Browse by Year
Browse by Conferences/Volumes
Browse Open Access Journals
Browse Open Access Books
Latest Additions
Browse the PhilMath Archive
Information
Home
About the Archive
Archive Policy
History
Statistics
Help
FAQ
Plan S
Journal Eprint Policies
Register
Contact Us
Mathematical Structures in Computer Science (2021)
Export as
ASCII Citation
ASCII Citation - Chicago
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Vol. 31
No. Unknown
Bentzen, Bruno
(2021)
Naive cubical type theory.
Mathematical Structures in Computer Science, 31. pp. 1205-1231.