Search filters

List of works by Robin Milner

A calculus of mobile processes, I

A theory of type polymorphism in programming

article

Bigraphical Reactive Systems

scientific article (publication date: 2001)

Bigraphs and Their Algebra

scientific article (publication date: April 2008)

Bigraphs as a Model for Mobile Interaction

scientific article (publication date: 2002)

Elements of interaction: Turing award lecture

scholarly article published in 1993

Fully abstract models of typed λ-calculi

scientific article (publication date: February 1977)

Functions as processes

Is Computing an Experimental Science?

Journeys in non-classical computation I: A grand challenge for computing research

Journeys in non-classical computation II: initial journeys and waypoints

Lcf: A way of doing proofs with a machine

Understanding ubiquitous computing

scientific article published in October 2008

Unique decomposition of processes

Paulina is supported by:

About Paulina

Help