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.