Simon Brock

Partial type assignment in left linear applicative term rewriting systems: Theory, applications and implementation

Steffen van Bakel, Sjaak Smetsers, Simon Brock, 1992 .

Proofs as graphs

Simon Brock, Duncan Shand, Simon Brock, 1995, SEGRAGRA.

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems

Steffen van Bakel, Sjaak Smetsers, Simon Brock, 1992, CAAP.

Compile-Time Pointer Reversal

Simon Brock, 1996, J. Funct. Log. Program..

A process semantics for functional programming

Simon Brock, Gerald Ostheimer, 1995, Electron. Notes Theor. Comput. Sci..

Process Semantics of Graph Reduction

Simon Brock, Gerald Ostheimer, 1995, CONCUR.