121

Bisimilarity as a theory of functional programming
– A D Gordon

6

Lectures on [Co]Induction and [Co]Algebras
– R L Crole
 1998

105

Functional Programming and Input/Output
– Andrew D Gordon
 1993

239

The Lazy Lambda Calculus
– Samson Abramsky
 1990

3

Operationally Based Theories of Program Equivalence
– A M Pitts
 1997

12

CoInductive Types in Coq: An Experiment with the Alternating Bit Protocol
– Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon
 1995

10

A Sound Metalogical Semantics for Input/Output Effects
– Roy L. Crole, Andrew D. Gordon
 1994

5

Completeness of Bisimilarity for Contextual Equivalence in Linear Theories
– Roy L. Crole

57

Equational properties of mobile ambients
– Andrew D. Gordon, Luca Cardelli
 1999

783

A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
 1999

79

A Bisimulation Method for Cryptographic Protocols
– MartÃn Abadi, Andrew D. Gordon
 1998

36

The Coalgebraic Class Specification Language CCSL  Syntax and Semantics
– Hendrik Tews
 2002

3

Functional Programming Theory
– R L Crole
 1995

280

Computational Interpretations of Linear Logic
– Samson Abramsky
 1993

1

Operational Semantics
– R L Crole
 1999

1

Department of Mathematics and Computer Science Lecture Notes, LATEX format 101 pages with subject and notation index
– Operational Semantics
 1999

7

A functional programming approach to the specification and verification of concurrent systems
– P Dybjer, H P Sanders
 1989

23

The lazy calculus
– S Abramsky
 1990

7

On backtracking and greatest fixpoints
– W P DE ROEVER
 1977
