Towards Normalization by Evaluation for the βη-Calculus of Constructions

DOI10.1007/978-3-642-12251-4_17zbMath1284.68120OpenAlexW1599601364MaRDI QIDQ3558341

Andreas Abel

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Pure type systems with explicit substitutions

Uses Software

• Unnamed Item

This page was built for publication: Towards Normalization by Evaluation for the βη-Calculus of Constructions