Tilbage til artikeldetaljer
A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)
Download
Download PDF