A dialectica-like model of linear logic (1989)
by
Valeria C. V. De Paiva
| Venue: | In Proc. Conf. on Category Theory and Computer Science, LNCS 389 |
| Citations: | 27 - 6 self |
Document Versions
| A dialectica-like model of linear logic –Valeria C. V. De Paiva — 1989 — In Proc. Conf. on Category Theory and Computer Science, LNCS 389 |
