scientific article; zbMATH DE number 6748873
From MaRDI portal
Publication:5278410
DOI10.4230/LIPIcs.CSL.2016.24zbMath1370.03016MaRDI QIDQ5278410
Publication date: 19 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Constructive sheaf models of type theory ⋮ Canonicity and homotopy canonicity for cubical type theory ⋮ What should a generic object be? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Combinatorial topology and constructive mathematics ⋮ Guarded cubical type theory ⋮ Models of Type Theory Based on Moore Paths ⋮ A homotopy-theoretic model of function extensionality in the effective topos ⋮ Cubical Agda: A dependently typed programming language with univalence and higher inductive types ⋮ Syntax and models of Cartesian cubical type theory
This page was built for publication:
