Lambda Y-Calculus With Priorities.

Igor Walukiewicz

Published in: LICS (2019)

Keyphrases

lambda calculus
fixed point
high priority
artificial intelligence
information systems
response time
computer algebra
real time
relational databases
query language
predicate calculus
algebraic structure
database query languages