Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
James Lipton
2010 – today
- 2012
[c12]Emilio Jesús Gallego Arias, James Lipton: Logic Programming in Tabular Allegories. ICLP (Technical Communications) 2012: 334-347- 2011
- [j7]Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira: First-order unification using variable-free relational algebra. Logic Journal of the IGPL 19(6): 790-820 (2011)
- 2010
- [j6]Olivier Hermant, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2. J. Log. Comput. 20(2): 597-602 (2010)
2000 – 2009
- 2009
- [j5]Gianluca Amato, James Lipton, Robert McGrail: On the algebraic structure of declarative programming languages. Theor. Comput. Sci. 410(46): 4626-4671 (2009)
- 2008
- [c11]Olivier Hermant, James Lipton: A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. CSL 2008: 169-183
- 2007
- [c10]James Lipton, Susana Nieva: Higher-Order Logic Programming Languages with Constraints: A Semantics. TLCA 2007: 272-289
- 2005
- [j4]Mary DeMarco, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types. J. Log. Comput. 15(6): 821-854 (2005)
- 2004
- [j3]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)
- [c9]Daniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
- 2003
- [j2]Stacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
- 2001
- [c8]Gianluca Amato, James Lipton: Indexed Categories and Bottom-Up Semantics of Logic Programs. LPAR 2001: 438-454
1990 – 1999
- 1998
- [c7]James Lipton, Robert McGrail: Encapsulating Data in Logic Programming via Categorial Constraints. PLILP/ALP 1998: 391-410
- 1996
- [j1]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)
- [c6]James Lipton, Stacy E. Finkelstein, Peter J. Freyd: A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211
- 1994
- [c5]Stacy E. Finkelstein, Peter J. Freyd, James Lipton: Logic Programming in Tau Categories. CSL 1994: 249-263
- [c4]James Lipton, Michael J. O'Donnell: Intuitive Counterexamples for Constructive Fallacies. MFCS 1994: 87-111
- [c3]Paul Broome, James Lipton: Combinatory Logic Programming: Computing in Relation Calculi. SLP 1994: 269-285
- 1991
- [c2]James Lipton: Kripke Semantics for Dependent Type Theory and Realizability Interpretations. Constructivity in Computer Science 1991: 22-32
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:59 CET by the dblp team