TY -
GEN
AU - Gray, John W.
AU - Pitts, Andrew M.
AU - Sieber, Kurt
AU - John W. Gray and Andrew M. Pitts and Kurt Sieber
TI -
Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
PY - 1993
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -