Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale

Published in: CoRR (2012)

Keyphrases

lambda calculus
predicate calculus
programming language
artificial intelligence
database query languages
databases
natural language
open source
software development
development process