Studies in Logic and the Foundations of Mathematics. Biernacka and Olivier Danvy. A concrete framework for environment machines (1981)

by Amsterdam North-Holland, NL
Venue:ISSN 1529-3785. Haskell Brookes Curry and Robert Feys. Combinatory Logic, Volume I. Studies in Logic and the Foundations of Mathematics