Consistent formal theories of the semantics of programming languages

P. Lauer
Abstract:
What problem does this paper attempt to address?