@inbook{eb92086efa5e4798947b92da327f5067,
title = "The lambda-calculus is nominal algebraic",
abstract = "NO ABSTRACT",
author = "M.J. Gabbay and A.H.J. Mathijssen",
year = "2008",
language = "English",
isbn = "978-1-904987-70-3",
series = "Studies in Logic",
publisher = "College Publications",
pages = "271--302",
editor = "C. Benzm{\"u}ller and C.E. Brown and J. Siekmann and R. Statman",
booktitle = "Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday",
}