LFCS reports by Author: O

[an error occurred while processing this directive] An error occured whilst processing this directive

O'Hearn, Peter W

Semantics of Local Variables
R D Tennent and O'Hearn
LFCS report ECS-LFCS-92-192
Relational Parametricity and Local Variables
P W O'Hearn and R D Tennent
LFCS report ECS-LFCS-92-223

Ore, Christian-Emil

On Natural deduction style semantics, environments and stores
Christian-Emil Ore
LFCS report ECS-LFCS-89-88

Owens, Christopher

Proving Correctness of Modular Functional Programs
Christopher Owens
LFCS report ECS-LFCS-99-416

Previous | Index | Next An error occured whilst processing this directive