Modified realizability interpretation of classical linear logic (2007)

by P Oliva
Venue:In Proc. of the Twenty Second Annual IEEE Symposium on Logic in Computer Science LICS’07