Login / Signup

A New Translation Algorithm from Lambda Calculus into Combinatory Logic.

Sabine BrodaLuís Damas
Published in: EPIA (1995)
Keyphrases
  • lambda calculus
  • databases
  • open source