Typed Lambda Calculi and Applications

DOI10.1007/b135690zbMath1114.68027OpenAlexW2501230561MaRDI QIDQ5704024

Christian Urban, James Cheney

Publication date: 11 November 2005

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

Full work available at URL: https://doi.org/10.1007/b135690

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (5)

Nominal rewriting ⋮ Encoding abstract syntax without fresh names ⋮ Equivariant unification ⋮ A polynomial nominal unification algorithm ⋮ Nominal Unification from a Higher-Order Perspective

This page was built for publication: Typed Lambda Calculi and Applications