Graphic lambda calculus and knot diagrams

Published in: CoRR (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
database
program understanding
artificial intelligence
data model
higher order
complex objects
high level
object oriented
open source