Formal Universes

DOI10.1007/978-3-319-23165-5_12zbMath1322.03002OpenAlexW4255970736MaRDI QIDQ2945710

Erwin Engeler

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_12

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Cites Work

• Twenty years of rewriting logic
• Homotopy type theory and Voevodsky’s univalent foundations
• Universes in explicit mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Universes