Login / Signup
David Sherratt
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Complex Objects
Database Query Languages
Predicate Calculus
Top Venues
FoSSaCS
</>
Publications
</>
David Sherratt
,
Willem Heijltjes
,
Tom Gundersen
,
Michel Parigot
Spinal Atomic Lambda-Calculus.
FoSSaCS
(2020)