Believe it or not, AJM's games model is a model of classical linear logic | IEEE Conference Publication | IEEE Xplore