A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms
From MaRDI portal
Publication:2409739
DOI10.1007/978-3-319-63139-4_14zbMath1485.68044arXiv1608.03912OpenAlexW2963903330MaRDI QIDQ2409739
Publication date: 13 October 2017
Full work available at URL: https://arxiv.org/abs/1608.03912
type inferencesimply-typed lambda-calculuscombinatorics of lambda termslogic-programming transformationssimply-typed normal forms
Related Items (4)
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Unnamed Item ⋮ Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms ⋮ Almost all Classical Theorems are Intuitionistic
This page was built for publication: A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms