Report - Introduction to Type Theoryherman/onderwijs/provingwithCA/paper-lncs.pdfIntroduction to Type Theory ... checking of functional programs and on the use of types in proof assistants

Please pass captcha verification before submit form