Login / Signup
Mary DeMarco
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 1
Top Topics
Logic Programs
Statistical Model
Knowledge Representation
Higher Order
Top Venues
CoRR
</>
Publications
</>
Gianluca Amato
,
Mary DeMarco
,
James Lipton
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.
CoRR
(2024)
Mary DeMarco
,
James Lipton
Completeness and Cut-elimination in the Intuitionistic Theory of Types.
J. Log. Comput.
15 (6) (2005)