research
∙
12/06/2022
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Derived datasets can be defined implicitly or explicitly. An implicit de...
share
research
∙
09/17/2022
Synthesizing Nested Relational Queries from Implicit Specifications
Derived datasets can be defined implicitly or explicitly. An implicit de...
research
∙
08/03/2020
Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics
We characterize regular string transductions as programs in a linear λ-c...
research
∙
05/13/2020
Generating collection queries from proofs
Nested relations, built up from atomic types via tupling and set types, ...
research
∙
04/19/2019
Cantor-Bernstein implies Excluded Middle
We prove in constructive logic that the statement of the Cantor-Bernstei...
research
∙
03/23/2018