@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",

}