Extensionality of lambda

DOI10.4230/LIPIcs.TYPES.2014.221zbMath1434.03058arXiv1401.1139OpenAlexW2962900194MaRDI QIDQ5277979

Andrew Polonsky

Publication date: 12 July 2017

Full work available at URL: https://arxiv.org/abs/1401.1139

zbMATH Keywords

reflectionextensionalitylambda calculustype theorylogical relations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items (2)

Cubical Type Theory: a constructive interpretation of the univalence axiom ⋮ Towards a Cubical Type Theory without an Interval

This page was built for publication: Extensionality of lambda