An Infinitary Model of Linear Logic.

Charles Grellois, Paul-Andr Mellis

Browse the full FOSSACS paper archive.