Gianluigi Bellin
2 published titles
A decision procedure revisited : notes on direct logic, linear logic and its implementation
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Proof nets for multiplicative and additive linear logic
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
