Galois: a theory development project (1993)

by P Aczel
Venue:Representation of Mathematics in Logical Frameworks