Computability Concepts for Programming Language Semantics

Herbert Egli, Robert L. Constable

Browse the full STOC paper archive.