Keyword: prism theorem

• Lambda: Residual Theory in Lambda-Calculus
  Gérard Huet