A Braided Lambda Calculus.

Masahito Hasegawa

Published in: CoRR (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
data structure
relational databases
case study
source code
semantic network
reverse engineering