A Nominal Axiomatization of the Lambda Calculus
From MaRDI portal
Publication:3553919
DOI10.1093/LOGCOM/EXP049zbMath1198.03023OpenAlexW2157450565MaRDI QIDQ3553919
Aad Mathijssen, Murdoch James Gabbay
Publication date: 21 April 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp049
Related Items (8)
Unnamed Item ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Principal Types for Nominal Theories ⋮ Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables ⋮ The lambda-context calculus (extended version) ⋮ Coverability Synthesis in Parametric Petri Nets
Uses Software
This page was built for publication: A Nominal Axiomatization of the Lambda Calculus
