Report - Intersection Type Disciplines P Lambda Calculussvb/Research/Papers/PhD2up.pdf · The extension from Lambda Calculus to Term Rewriting Systemsisdoneviacombinator systems. Term rewrite

Please pass captcha verification before submit form