Schmidt, David A.1953 May 10 · 3 obras en el catálogoObrasThe essence of computationThe structure of typed programming languagesDenotational semantics