2006
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures
Publication
Publication
Presented at the
Conference on Foundations of Software Science and Computation Structures, Vienna, Austria
Additional Metadata | |
---|---|
Springer | |
L. Aceto (Luca) , A. Ingólfsdóttir | |
Lecture Notes in Computer Science | |
Conference on Foundations of Software Science and Computation Structures | |
Bonsangue, M., & Kurz, A. (2006). Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures. In L. Aceto & A. Ingólfsdóttir (Eds.), LNCS (pp. 172–186). Springer. |