scientific article
From MaRDI portal
Publication:2958537
DOI10.4230/LIPIcs.CSL.2013.432zbMath1356.68043MaRDI QIDQ2958537
Neelakantan R. Krishnaswami, Derek R. Dreyer
Publication date: 2 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items
From realizability to induction via dependent intersection, Proof-Relevant Parametricity, The calculus of dependent lambda eliminations, A presheaf model of parametric type theory, Unnamed Item, Graded modal dependent type theory, Comprehensive Parametric Polymorphism: Categorical Models and Type Theory