Partial combinatory algebra and generalized numberings.

Henk Barendregt Sebastiaan A. Terwijn

Published in: Theor. Comput. Sci. (2022)

Keyphrases

data model
algebraic expressions
data sets
algebraic geometry
real time
website
case study
relational algebra