David Pym
3 published titles
The religious thought of Samuel Taylor Coleridge
1 edition
- ISBN: 0901072656
- Smythe
- 1978
- Details
Proof search in the [lambda pi]-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
The uniform proof-theoretic foundation of linear logic programming (extended abstract)
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
