Connections Between Partial Maps Categories and Triops Theory

Maurizio Proietti. Connections Between Partial Maps Categories and Triops Theory. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 254-269, Springer, 1987.

Abstract

Abstract is missing.