Report copyright - Intersection Types as Logical Formulae - Semantic Scholar · Intersection Types as Logical Formulae 111 2 Intersection types for combinatory logic Let us outline the inference system
Please pass captcha verification before submit form