A Third-Order Representation of the λμ-Calculus

DOI10.1016/S1571-0661(04)00281-6zbMath1268.68045MaRDI QIDQ2841236

Andreas Abel

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

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

Related Items

Formalizing adequacy: a case study for higher-order abstract syntax ⋮ Termination checking with types ⋮ A Third-Order Representation of the λμ-Calculus

Uses Software

• Twelf

Cites Work

• A syntactic theory of sequential control
• A Third-Order Representation of the λμ-Calculus
• A mechanical proof of the Church-Rosser theorem
• A framework for defining logics
• An environment machine for the λμ-calculus
• Classical logic, continuation semantics and abstract machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item