Dialectica-like model of linear logic. Category Theory and Computer Science. Lecture Notes in Computer Science 389 (1989)

by V C de Paiva
Venue:4th Symposium on Logic in Computer Science