Categories, types, and structures an introduction to category theory for the working computer scientist

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Asperti, Andrea (VerfasserIn), Longo, Giuseppe (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge, Mass. [u. a.] MIT-Press 1991
Schriftenreihe:Foundations of computing
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!