Login / Signup

Direct Models for the Computational Lambda Calculus.

Carsten Führmann
Published in: MFPS (1999)
Keyphrases
  • lambda calculus
  • databases
  • knowledge base
  • general purpose
  • higher order