A concrete framework for environment machines (0)

by M Biernacka, O Danvy
Venue:Transactions on Computational Logic