A Typed Pattern Calculus

• 1 January 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 124  (1) , 32-61
• https://doi.org/10.1006/inco.1996.0004

Abstract

Keywords

• PATTERN-MATCHING FUNCTIONDEFINITIONS
• BASIC PROPERTY
• FUNCTIONAL CALCULUS
• CALCULUS OFFERSA RATIONAL RECONSTRUCTION
• GENTZENSEQUENT PROOF
• CURRY-HOWARD HOMOMORPHISM
• INSUCCESSFUL FUNCTIONAL LANGUAGE
• PATTERN CALCULUS
• PATTERN-MATCHING FEATURE
• STRONG NORMALIZATION
• EMPHASIZESTHE STRONG CONNECTION
• FIRST ORDER
• PATTERN MATCHING