A Model of Intuitionistic Affine Logic from Stable Domain Theory (1994)

Cached

Download Links

by Torben Braüner
Venue:In Proceedings of ICALP '94, LNCS
Citations:1 - 0 self