User:Ndcroos/Fusion calculus

In theoretical computer science, Fusion calculus is a process calculus, invented between 1996 and 1998 by Bjorn Victor and Joachim Parrow. The aim is to simplify the π-calculus and to model concurrent constraint programming.

bisimulation

Formal Definition
Syntax

Categorical Model
initial algebra

coalgebra

presheaf

Encoding of the lambda calculus