Self Types for Dependently Typed Lambda Encodings

DOI10.1007/978-3-319-08918-8_16zbMath1416.68162OpenAlexW201540574MaRDI QIDQ5170819

Aaron Stump, Peng Fu

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Efficiency of lambda-encodings in total type theory ⋮ The calculus of dependent lambda eliminations

Uses Software

• Unnamed Item

This page was built for publication: Self Types for Dependently Typed Lambda Encodings