Demonstration of ALF

Demonstration of ALF

Catarina Coquand
Lena Magnusson

In 6th NWPT, page 465

Abstract:

We refer to our abstracts for further information about the demonstrated system.

Comments
Chalmers Technical University, Inst. for Computer Science, Göteborg, Sweden.

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page