A dialectica-like model of linear logic (1989)

Cached

Download Links

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