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

H. Riis Nielson, F. Nielson

TypeConference paper [With referee]
ConferenceComputing and Information 1989
Year1989    pp. 39-45
PublisherNorth-Holland
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering