research
∙
10/18/2022
Efficient Evaluation of Arbitrary Relational Calculus Queries
The relational calculus (RC) is a concise, declarative query language. H...
share
research
∙
04/12/2021
Quotients of Bounded Natural Functors
The functorial structure of type constructors is the foundation for many...
research
∙
11/16/2018
