Login / Signup

The heart of intersection type assignment: Normalisation proofs revisited.

Steffen van Bakel
Published in: Theor. Comput. Sci. (2008)
Keyphrases
  • theorem proving
  • formal proofs
  • databases
  • decision trees
  • text categorization