Report copyright - Substructural Logical Specifications (Fourth committee …typesafety.net/thesis/thesis-v4.pdfStructural focalization is a synthesis of ideas from Andreoli’s focused sequent
Please pass captcha verification before submit form
Please pass captcha verification before submit form