Michael Barr

Œuvres (2)

Couverture : Toposes, triples and theories

Toposes, triples and theories

1985
Couverture : Category theory for computing science

Category theory for computing science

1990