previous up next
Go backward to Summary (Typing Rules)
Go up to Top
Go forward to Summary (Lambda Abstraction)
RISC-Linz logo

Summary (Semantics)


Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next