Nr. 27 (1994): RS-27 A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)

Publiceret: 1994-09-08