scientific article; zbMATH DE number 6816943
From MaRDI portal
Publication:4596801
DOI10.23638/LMCS-13(4:22)2017zbMath1433.03028arXiv1504.03995MaRDI QIDQ4596801
Pierre Clairambault, Simon Castellan, Peter Dybjer
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1504.03995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Type theory (03B38)
Related Items (4)
On generalized algebraic theories and categories with families ⋮ Unnamed Item ⋮ Modal dependent type theory and dependent right adjoints ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed
This page was built for publication:
