Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction

DOI10.1007/978-3-642-38946-7_10zbMath1381.68032OpenAlexW114805720MaRDI QIDQ5300897

Pierre Clairambault

Publication date: 28 June 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-38946-7_10

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A Fresh Look at the λ-Calculus

This page was built for publication: Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction