Login / Signup

Highlighting the Lambda-free Fragment of Automath.

N. G. de Bruijn
Published in: TPHOLs (1994)
Keyphrases
  • computer vision
  • database systems
  • preprocessing
  • viewpoint