Report - Calculus of Inductive Constructionsmjf/pub/SFV-CIC-2up.pdf · Maria Jo˜ao Frade (DI-UM) Calculus of Inductive Constructions MFES 2008/09 11 / 36 Barendregt’s λ-Cube Barendregt’s

Please pass captcha verification before submit form