Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara:

A Lattice-Theoretical Perspective on Adhesive Categories

In: Journal of Symbolic Computation, (to appear)
Zeitschriftenaufsatz / Fach: Informatik

Dieser Eintrag wurde eingereicht, ist aber noch nicht freigegeben.