Login / Signup

Encoding Strategies in the Lambda Calculus with Interaction Nets.

Ian Mackie
Published in: IFL (2005)
Keyphrases
  • lambda calculus
  • programming language
  • human computer interaction
  • predicate calculus
  • general purpose
  • database
  • databases
  • higher order