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