Formalizing dynamic-wind in the lambda calculus.

Ryotaro Kasuga Shin-ya Nishizaki

Published in: ICSCA (2022)

Keyphrases

lambda calculus
programming language
artificial intelligence
relational databases
predicate calculus
database
case study
higher order
expressive power
semantic network