scientific article; zbMATH DE number 6109822
From MaRDI portal
Publication:4649535
DOI10.4230/LIPIcs.CSL.2012.16zbMath1252.68058MaRDI QIDQ4649535
Ondrej Rypacek, Thorsten Altenkirch
Publication date: 22 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50)
Related Items (4)
The construction of set-truncated higher inductive types ⋮ Hom weak ω-categories of a weak ω-category ⋮ Unnamed Item ⋮ Monoidal weak ω-categories as models of a type theory
This page was built for publication:
