Luca Maio

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Programming Language

Relational Databases

Predicate Calculus

Top Venues

Publications

David Sabel, Manfred Schmidt-Schauß, Luca Maio
A Probabilistic Call-by-Need Lambda-Calculus - Extended Version. CoRR (2022)
David Sabel, Manfred Schmidt-Schauß, Luca Maio
Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. PPDP (2022)