Computability Concepts for Programming Language Semantics

Computability Concepts for Programming Language Semantics Herbert Egli Robert L. Constable 98-106 conf/stoc/STOC7 1975 STOC db/conf/stoc/stoc75.html#EgliC75