scientific article; zbMATH DE number 7204300
From MaRDI portal
Publication:5111175
DOI10.4230/LIPIcs.CSL.2017.8MaRDI QIDQ5111175
Peter LeFanu Lumsdaine, Vladimir Voevodsky, Benedikt Ahrens
Publication date: 26 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Metamathematics of constructive systems (03F50) Topological categories, foundations of homotopy theory (55U40) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Type theory (03B38)
Related Items (3)
Uses Software
This page was built for publication:
