Higher-Order Pattern Complement and the Strict λ-Calculus

@inproceedings{Momigliano2003HigherOrderPC,
  title={Higher-Order Pattern Complement and the Strict λ-Calculus},
  author={Alberto Momigliano},
  year={2003}
}
We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a finite set of patterns. We therefore generalize the simplytyped λ-calculus to include an internal notion of strict function… CONTINUE READING