Galois: A Theory Development Project." Turin workshop on the representation of mathematics in Logical Frameworks (1993)

by P Aczel