A dialectica-like model of linear logic (1989)

by V de Paiva
Venue:In Proc. Conf. on Category Theory and Computer Science, LNCS 389