Go backward to
3 Semantics
Go up to
Top
Go forward to
4 One possibility for the underlying logic
Appendices:
CoFI
Note: L-2 --Version 1.0-- 10 April 1997.
Comments to
ah@it.dtu.dk
