Gian Luca Cattani
- Profunctors, open maps and bisimulation
2005/05/27 by Gian Luca Cattani, Glynn Winskel · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology #Bisimulation #Functor #Mathematics #Algebra over a field #Semantics (computer science) #Pure mathematics #Programming language #Computer science #Discrete mathematics