vix.ing · top · new · best · stats · spec

P. 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