A Dialectica-like Model of Linear Logic (1989)

by V de Paiva
Venue:In Proceedings Conf. on Category Theory and Computer Science