Report copyright - Regular expressions of types · Lambda calculus Example rule: introducing (making) a pair (or a product) ‘x:A ‘y:B Pair ‘pair xy: A B On the left hand side are expressions,
Please pass captcha verification before submit form
Please pass captcha verification before submit form