James Lipton

According to our database, James Lipton authored at least 23 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog.

Gianluca Amato, Mary DeMarco, James Lipton

CoRR, 2024

2018

Kripke semantics for higher-order type theory applied to constraint logic programming languages.

James Lipton, Susana Nieva

Theor. Comput. Sci., 2018

2017

Constraint logic programming with a relational machine.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño

Formal Aspects Comput., 2017

2014

Declarative Compilation for Constraint Logic Programming.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2012

Logic Programming in Tabular Allegories.

Emilio Jesús Gallego Arias, James Lipton

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

First-order unification using variable-free relational algebra.

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira

Log. J. IGPL, 2011

2010

Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2.

Olivier Hermant, James Lipton

J. Log. Comput., 2010

2009

On the algebraic structure of declarative programming languages.

Gianluca Amato, James Lipton, Robert McGrail

Theor. Comput. Sci., 2009

2008

A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.

Olivier Hermant, James Lipton

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Higher-Order Logic Programming Languages with Constraints: A Semantics.

James Lipton, Susana Nieva

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

2005

Completeness and Cut-elimination in the Intuitionistic Theory of Types.

Mary DeMarco, James Lipton

J. Log. Comput., 2005

2004

Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Theor. Comput. Sci., 2004

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.

Daniel Cabeza, Manuel V. Hermenegildo, James Lipton

Proceedings of the Advances in Computer Science, 2004

2003

A new framework for declarative programming.

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Theor. Comput. Sci., 2003

2001

Indexed Categories and Bottom-Up Semantics of Logic Programs.

Gianluca Amato, James Lipton

Proceedings of the Logic for Programming, 2001

1998

Encapsulating Data in Logic Programming via Categorial Constraints.

James Lipton, Robert McGrail

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1996

Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels.

James Lipton, Michael J. O'Donnell

Ann. Pure Appl. Log., 1996

A New Framework for Declarative Programming: Categorial Perspectives.

James Lipton, Stacy E. Finkelstein, Peter J. Freyd

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1994

Combinatory Logic Programming: Computing in Relation Calculi.

Paul Broome, James Lipton

Proceedings of the Logic Programming, 1994

Intuitive Counterexamples for Constructive Fallacies.

James Lipton, Michael J. O'Donnell

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Logic Programming in Tau Categories.

Stacy E. Finkelstein, Peter J. Freyd, James Lipton

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1991

Provability in TBLL: A Decision Procedure.

Jawahar Chirimar, James Lipton

Proceedings of the Computer Science Logic, 5th Workshop, 1991

Kripke Semantics for Dependent Type Theory and Realizability Interpretations.

James Lipton

Proceedings of the Constructivity in Computer Science, 1991