Dale Miller: From axioms to synthetic inference rules via focusing

Download (MP3)




Bagikan