Algorithmic definition of lambda-typed lambda calculus

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

46 Downloads (Pure)

Access to Document

@inproceedings{1cd1b1e49de84cae83a506e8c9f0ac0c,

title = "Algorithmic definition of lambda-typed lambda calculus",

author = "{Bruijn, de}, N.G.",

year = "1993",

language = "English",

isbn = "0-521-43312-6",

pages = "131--146",

editor = "G. Huet and G.D. Plotkin",

booktitle = "Logical Environments",

publisher = "Cambridge University Press",

address = "United Kingdom",

}