Report copyright - Formal Metatheory of the Lambda Calculus Using Stoughton ... · Keywords: Formal Metatheory, Lambda Calculus, Type Theory 1. Introduction The Lambda calculus was originally formulated
Please pass captcha verification before submit form