Piergiulio Katis

1. Bicategories of processes
   1997/02/01 by P. Katis, Piergiulio Katis, N. Sabadini +2 · 4 citations
   Computer Science · #Computability, Logic, AI Algorithms #semigroups and automata theory #Logic, programming, and type systems