The Sensible Graph Theories of Lambda Calculus.

Antonio Bucciarelli Antonino Salibra

Published in: LICS (2004)

Keyphrases

lambda calculus
programming language
predicate calculus
structured data
object oriented
program understanding
higher order
open source