previous up next
Go backward to Soundness of Typing Rules
Go up to Top
Go forward to Parameter Copy Rule
RISC-Linz logo

Copy Rule


Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next