 | 2008 |
|---|
| 15 |       | Olivier Hermant,
James Lipton:
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.
CSL 2008: 169-183 |
| 2007 |
|---|
| 14 | | James Lipton,
Susana Nieva:
Higher-Order Logic Programming Languages with Constraints: A Semantics.
TLCA 2007: 272-289 |
| 2005 |
|---|
| 13 | | Mary DeMarco,
James Lipton:
Completeness and Cut-elimination in the Intuitionistic Theory of Types.
J. Log. Comput. 15(6): 821-854 (2005) |
| 2004 |
|---|
| 12 | | Daniel Cabeza,
Manuel V. Hermenegildo,
James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
ASIAN 2004: 93-108 |
| 11 | | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].
Theor. Comput. Sci. 311(1-3): 527 (2004) |
| 2003 |
|---|
| 10 | | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
A new framework for declarative programming.
Theor. Comput. Sci. 300(1-3): 91-160 (2003) |
| 2001 |
|---|
| 9 | | Gianluca Amato,
James Lipton:
Indexed Categories and Bottom-Up Semantics of Logic Programs.
LPAR 2001: 438-454 |
| 1998 |
|---|
| 8 | | James Lipton,
Robert McGrail:
Encapsulating Data in Logic Programming via Categorial Constraints.
PLILP/ALP 1998: 391-410 |
| 1996 |
|---|
| 7 | | James Lipton,
Stacy E. Finkelstein,
Peter J. Freyd:
A New Framework for Declarative Programming: Categorial Perspectives.
ELP 1996: 209-211 |
| 6 |  | James Lipton,
Michael J. O'Donnell:
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels.
Ann. Pure Appl. Logic 81(1-3): 187-239 (1996) |
| 1994 |
|---|
| 5 | | Stacy E. Finkelstein,
Peter J. Freyd,
James Lipton:
Logic Programming in Tau Categories.
CSL 1994: 249-263 |
| 4 | | James Lipton,
Michael J. O'Donnell:
Intuitive Counterexamples for Constructive Fallacies.
MFCS 1994: 87-111 |
| 3 | | Paul Broome,
James Lipton:
Combinatory Logic Programming: Computing in Relation Calculi.
SLP 1994: 269-285 |
| 1991 |
|---|
| 2 | | Jawahar Chirimar,
James Lipton:
Provability in TBLL: A Decision Procedure.
CSL 1991: 53-67 |
| 1 | | James Lipton:
Kripke Semantics for Dependent Type Theory and Realizability Interpretations.
Constructivity in Computer Science 1991: 22-32 |
