Michaylov, Spiro Programming Logics, MPI for Informatics, Max Planck Society;
Pfenning, Frank Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-91-211.pdf (beliebiger Volltext), 21MB
Michaylov, S., & Pfenning, F.(1991). Natural semantics and some of its meta-theory in Elf (MPI-I-91-211). Saarbrücken: Max-Planck-Institut für Informatik.