previous up next
Go backward to Typing Rules Define a Language
Go up to Top
Go forward to Semantics of the Core Language
RISC-Linz logo

Proof Trees

Programs may be directly derived from typing rules.


Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next