Go backward to
2 Proposals for changes to the syntax
Go up to
Top
Go forward to
Appendices:
3 Semantics
3.1 Requirements to the semantics
3.2 Extensions of the subsort relation
3.3 Well-typed terms and formulas
3.4 Expansions to an underlying logic
3.5 Equivalent expansions
CoFI
Note: L-2 --Version 1.0-- 10 April 1997.
Comments to
ah@it.dtu.dk
