P. Lauer

• Consistent formal theories of the semantics of programming languages