dblp.uni-trier.dewww.uni-trier.de

James Lipton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
15EEOlivier Hermant, James Lipton: A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. CSL 2008: 169-183
2007
14EEJames Lipton, Susana Nieva: Higher-Order Logic Programming Languages with Constraints: A Semantics. TLCA 2007: 272-289
2005
13EEMary DeMarco, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types. J. Log. Comput. 15(6): 821-854 (2005)
2004
12EEDaniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
11EEStacy 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
10EEStacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
2001
9EEGianluca Amato, James Lipton: Indexed Categories and Bottom-Up Semantics of Logic Programs. LPAR 2001: 438-454
1998
8EEJames 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

Coauthor Index

1Gianluca Amato [9]
2Paul Broome [3]
3Daniel Cabeza (Daniel Cabeza Gras) [12]
4Jawahar Chirimar [2]
5Mary DeMarco [13]
6Stacy E. Finkelstein [5] [7] [10] [11]
7Peter J. Freyd [5] [7] [10] [11]
8Olivier Hermant [15]
9Manuel V. Hermenegildo [12]
10Robert McGrail [8]
11Susana Nieva [14]
12Michael J. O'Donnell [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)