The Mixed Lambda-Calculus and Combinatory Logic  (an overview)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Computing and Information 1989
Publisher	North-Holland
Publication date	1989
Pages	39-45
Publication status	Published - 1989
Event	Computing and Information 1989 - Duration: 1 Jan 1989 → …

Conference	Computing and Information 1989
Period	01/01/1989 → …

Cite this

@inproceedings{48c26878758c466f91cbadce3ebcec00,

title = "The Mixed Lambda-Calculus and Combinatory Logic (an overview)",

author = "Nielson, {Hanne Riis} and Flemming Nielson",

year = "1989",

language = "English",

pages = "39--45",

booktitle = "Computing and Information 1989",

publisher = "North-Holland",

note = "Computing and Information 1989 ; Conference date: 01-01-1989",

}