David J. Pym
7 published titles
Logic programming via proof-valued computations
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
A unification algorithm for the [lambda pi]-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
A synopsis on the identification of linear logic programming languages (extended abstract)
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Errata and remarks
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
The semantics and proof theory of the logic of bunched implications
1 edition
- ISBN: 1402007450
- Kluwer Academic
- 2002
- Details
Reductive logic and proof-search : proof theory, semantics, and control
1 edition
- ISBN: 0198526334
- Clarendon Press
- 2004
- Details
A discipline of mathematical systems modelling
(Contributor)
1 edition
- ISBN: 9781904987505
- College Publications
- 2012
- Details
