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

Unicity of Typing

Unicity of typing holds for all four syntax domains.


Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next