Go backward to
1 Introduction
Go up to
Top
Go forward to
3 Semantics
2 Proposals for changes to the syntax
2.1 Introduction of types instead of sorts
2.2 More general application terms
CoFI
Note: L-2 --Version 1.0-- 10 April 1997.
Comments to
ah@it.dtu.dk
