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

by P Aczel
Results 1 - 1 of 1

Constructive Category Theory

by Gérard Huet, Amokrane Saïbi - IN PROCEEDINGS OF THE JOINT CLICS-TYPES WORKSHOP ON CATEGORIES AND TYPE THEORY, GOTEBORG , 1998
"... ..."
Abstract - Cited by 25 (1 self) - Add to MetaCart
Abstract not found