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