James Harland
3 published titles
The uniform proof-theoretic foundation of linear logic programming (extended abstract)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A synopsis on the identification of linear logic programming languages (extended abstract)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
The month of the leopard
2 editions
- ISBN: 0743209753
- Simon & Schuster
- 2001
- Details
- ISBN: 0743415140
- Pocket
- 2002
- Details
