Relational Semantics of Linear Logic and Higher-order Model Checking.

Charles Grellois, Paul-Andr Mellis

Browse the full CSL paper archive.