Media type: Text; Report; E-Article; E-Book Title: Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329) Contributor: Gray, John W. [Author]; Pitts, Andrew M. [Author]; Sieber, Kurt [Author] Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1993 Language: English DOI: https://doi.org/10.4230/DagSemRep.69 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access