Login / Signup
Federico Lochbaum
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Type Checking
Relational Model
Transitive Closure
Database Query Languages
Top Venues
CoRR
ICTAC
</>
Publications
</>
Pablo Barenbaum
,
Federico Lochbaum
,
Mariana Milicich
Semantics of a Relational λ-Calculus.
ICTAC
(2020)
Pablo Barenbaum
,
Federico Lochbaum
,
Mariana Milicich
Semantics of a Relational λ-Calculus (Extended Version).
CoRR
(2020)