Publication:3410400

Publication date: 27 November 2006

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B40: Combinatory logic and lambda calculus