O'Donnell, Michael J.

An ordinary family

An ordinary family

2004

Constructivity in computer science

1992

Equational logic as a programming language

1985

Computing in systems described by equations

1977