Finitary Semantics of Linear Logic and Higher-Order Model-Checking.

Charles Grellois, Paul-Andr Mellis

Browse the full MFCS paper archive.