previous up next
Go backward to Lazy Evaluation
Go up to Top
Go forward to Copy Rule
RISC-Linz logo

Soundness of Typing Rules


Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next