A model of intuitionistic affine logic from stable domain theory (1994)

by T Brauner
Venue:In Proceedings of ICALP '94, LNCS