Coherence and valid isomorphism in closed categories applications of proof theory to category the...

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

The papers in this volume were presented at the fourth biennial Summer Conference on Category and...

Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equati...