Galois - a theory development project. Report for the 1993 Turin meeting on the Representation of Mathematics in Logical Frameworks. Available at URL: www.cs.man.ac.uk/˜petera/papers.html (0)

by Peter Aczel