## A dialectica-like model of linear logic (1989)

### View PDF

### Download Links

- [www.cs.bham.ac.uk]
- [www.cs.bham.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Valeria C. V. De Paiva

Venue: | In Proc. Conf. on Category Theory and Computer Science, LNCS 389 |

Citations: | 30 - 6 self |