Preface: Special issue on homotopy type theory and univalent foundations

DOI10.1007/S10817-018-9491-3zbMATH Open1468.03003OpenAlexW2899088655MaRDI QIDQ2319980

Author name not available (Why is that?)

Publication date: 21 August 2019

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-018-9491-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06) Topological categories, foundations of homotopy theory (55U40) Type theory (03B38)

Cites Work

• Title not available (Why is that?)
• Homotopy Type Theory: Univalent Foundations of Mathematics

Related Items (1)

Preface to the special issue for The Fifth Workshop on Formal Topology

This page was built for publication: Preface: Special issue on homotopy type theory and univalent foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2319980)