James Lipton

24 papers B 5C 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.
CoRR
Gianluca Amato, Mary DeMarco, James Lipton
2018 J jnl
Kripke semantics for higher-order type theory applied to constraint logic programming languages.
Theor. Comput. Sci.
James Lipton, Susana Nieva
2017 J jnl
Constraint logic programming with a relational machine.
Formal Aspects Comput.
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño
2014 C conf
Declarative Compilation for Constraint Logic Programming.
LOPSTR
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo
2012 — conf
Logic Programming in Tabular Allegories.
ICLP (Technical Communications)
Emilio Jesús Gallego Arias, James Lipton
2011 J jnl
First-order unification using variable-free relational algebra.
Log. J. IGPL
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2010 J jnl
Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2.
J. Log. Comput.
Olivier Hermant, James Lipton
2009 J jnl
On the algebraic structure of declarative programming languages.
Theor. Comput. Sci.
Gianluca Amato, James Lipton, Robert W. McGrail
2008 B conf
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.
CSL
Olivier Hermant, James Lipton
2008 — conf
First-order unification using variable-free relational algebra.
UNIF
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2007 — conf
Higher-Order Logic Programming Languages with Constraints: A Semantics.
TLCA
James Lipton, Susana Nieva
2005 J jnl
Completeness and Cut-elimination in the Intuitionistic Theory of Types.
J. Log. Comput.
Mary DeMarco, James Lipton
2004 J jnl
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].
Theor. Comput. Sci.
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2004 — conf
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
ASIAN
Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
2003 J jnl
A new framework for declarative programming.
Theor. Comput. Sci.
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2001 B conf
Indexed Categories and Bottom-Up Semantics of Logic Programs.
LPAR
Gianluca Amato, James Lipton
1998 — conf
Encapsulating Data in Logic Programming via Categorial Constraints.
PLILP/ALP
James Lipton, Robert W. McGrail
1996 — conf
A New Framework for Declarative Programming: Categorial Perspectives.
ELP
James Lipton, Stacy E. Finkelstein, Peter J. Freyd
1996 J jnl
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels.
Ann. Pure Appl. Log.
James Lipton, Michael J. O'Donnell
1994 — conf
Combinatory Logic Programming: Computing in Relation Calculi.
ILPS
Paul Broome, James Lipton
1994 B conf
Intuitive Counterexamples for Constructive Fallacies.
MFCS
James Lipton, Michael J. O'Donnell
1994 B conf
Logic Programming in Tau Categories.
CSL
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
1991 — conf
Kripke Semantics for Dependent Type Theory and Realizability Interpretations.
Constructivity in Computer Science
James Lipton
1991 B conf
Provability in TBLL: A Decision Procedure.
CSL
Jawahar Chirimar, James Lipton