Go backward to Appendix: Tentative Abstract Syntax of CASL
Go up to Top
Footnotes
- (1)
- BRICS, Dept. of Computer Science, University of Aarhus
Ny Munkegade bldg. 540, DK-8000 Aarhus C, Denmark
- (2)
- BRICS, Dept. of Computer Science, University of Aarhus
Ny Munkegade bldg. 540, DK-8000 Aarhus C, Denmark
CoFI Tentative Document: Mosses97TAPSOFT --TAPSOFT'97-- April 1997.
Comments to pdmosses@brics.dk