1982
A bibliography of lambda-calculi, combinatory logics and related topics
Publication
Publication
Additional Metadata | |
---|---|
Mathematisch Centrum | |
A. Rezus | |
CWI Archive M044: 01-03 | |
Rezus, A. (1982). A bibliography of lambda-calculi, combinatory logics and related topics. (A. Rezus, Ed.). Mathematisch Centrum. |