Computational interpretations of classical linear logic (2007)

by P Oliva
Venue:In Proceedings of WoLLIC’07, LNCS 4576