Simon Brock

Affiliations:

University of East Anglia, Norwich, UK

According to our database¹, Simon Brock authored at least 5 papers between 1992 and 1996.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1996

Compile-Time Pointer Reversal.

[BibT_eX]

[DOI]

Simon Brock

J. Funct. Log. Program., 1996

1995

Proofs as graphs.

[BibT_eX]

[DOI]

Duncan Shand

Simon Brock

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

A process semantics for functional programming.

[BibT_eX]

[DOI]

Simon Brock

Gerald Ostheimer

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Process Semantics of Graph Reduction.

[BibT_eX]

[DOI]

Simon Brock

Gerald Ostheimer

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1992

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.

[BibT_eX]

[DOI]

Steffen van Bakel

Sjaak Smetsers

Simon Brock

Proceedings of the CAAP '92, 1992

Simon Brock

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...