Dale Miller: From axioms to synthetic inference rules via focusing



DOWNLOAD





Bagikan