previous up next
Go backward to Generalization
Go up to Top
Go forward to The Correspondence Principle
RISC-Linz logo

Denotational Semantics

Serious questions about soundness open.


Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next