×

zbMATH — the first resource for mathematics

Lipton, James B.

Compute Distance To:
Author ID: lipton.james-b Recent zbMATH articles by "Lipton, James B."
Published as: Lipton, J.; Lipton, James; Lipton, James B.
Documents Indexed: 20 Publications since 1992

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 38 times in 23 Documents Cited by Year
On the algebraic structure of declarative programming languages. Zbl 1187.68121
Amato, Gianluca; Lipton, James; McGrail, Robert
7
2009
Completeness and cut-elimination in the intuitionistic theory of types. Zbl 1095.03056
DeMarco, Mary; Lipton, James
6
2005
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels. Zbl 0882.03056
Lipton, James; O’Donnell, Michael J.
3
1996
Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058
Lipton, James; Nieva, Susana
2
2007
Hiord: A type-free higher-order logic programming language with predicate abstraction. Zbl 1115.68370
Cabeza, Daniel; Hermenegildo, Manuel; Lipton, James
2
2004
A new framework for declarative programming. Zbl 1028.68023
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2
2004
Indexed categories and bottom-up semantics of logic programs. Zbl 1275.68042
Amato, Gianluca; Lipton, James
2
2001
Encapsulating data in logic programming via categorical constraints. Zbl 0947.03045
Lipton, James; McGrail, Robert
2
1998
Logic programming in tau categories. Zbl 1044.68538
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2
1995
Constructive Kripke semantics and realizability. Zbl 0757.03018
Lipton, James
2
1992
Constraint logic programming with a relational machine. Zbl 1355.68035
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio
1
2017
Declarative compilation for constraint logic programming. Zbl 1353.68036
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio
1
2015
Logic programming in tabular allegories. Zbl 1281.68079
Gallego Arias, Emilio Jesús; Lipton, James B.
1
2012
First-order unification using variable-free relational algebra. Zbl 1253.68194
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio; Nogueira, Pablo
1
2011
Completeness and cut-elimination in the intuitionistic theory of types. II. Zbl 1188.03042
Hermant, Olivier; Lipton, James
1
2010
A constructive semantic approach to cut elimination in type theories with axioms. Zbl 1157.03031
Hermant, Olivier; Lipton, James
1
2008
Kripke semantics for dependent type theory and realizability interpretations. Zbl 1434.03041
Lipton, James
1
1992
Provability in TBLL: A decision procedure. Zbl 0783.03003
Chirimar, J.; Lipton, J.
1
1992
Constraint logic programming with a relational machine. Zbl 1355.68035
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio
1
2017
Declarative compilation for constraint logic programming. Zbl 1353.68036
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio
1
2015
Logic programming in tabular allegories. Zbl 1281.68079
Gallego Arias, Emilio Jesús; Lipton, James B.
1
2012
First-order unification using variable-free relational algebra. Zbl 1253.68194
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio; Nogueira, Pablo
1
2011
Completeness and cut-elimination in the intuitionistic theory of types. II. Zbl 1188.03042
Hermant, Olivier; Lipton, James
1
2010
On the algebraic structure of declarative programming languages. Zbl 1187.68121
Amato, Gianluca; Lipton, James; McGrail, Robert
7
2009
A constructive semantic approach to cut elimination in type theories with axioms. Zbl 1157.03031
Hermant, Olivier; Lipton, James
1
2008
Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058
Lipton, James; Nieva, Susana
2
2007
Completeness and cut-elimination in the intuitionistic theory of types. Zbl 1095.03056
DeMarco, Mary; Lipton, James
6
2005
Hiord: A type-free higher-order logic programming language with predicate abstraction. Zbl 1115.68370
Cabeza, Daniel; Hermenegildo, Manuel; Lipton, James
2
2004
A new framework for declarative programming. Zbl 1028.68023
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2
2004
Indexed categories and bottom-up semantics of logic programs. Zbl 1275.68042
Amato, Gianluca; Lipton, James
2
2001
Encapsulating data in logic programming via categorical constraints. Zbl 0947.03045
Lipton, James; McGrail, Robert
2
1998
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels. Zbl 0882.03056
Lipton, James; O’Donnell, Michael J.
3
1996
Logic programming in tau categories. Zbl 1044.68538
Finkelstein, Stacy E.; Freyd, Peter; Lipton, James
2
1995
Constructive Kripke semantics and realizability. Zbl 0757.03018
Lipton, James
2
1992
Kripke semantics for dependent type theory and realizability interpretations. Zbl 1434.03041
Lipton, James
1
1992
Provability in TBLL: A decision procedure. Zbl 0783.03003
Chirimar, J.; Lipton, J.
1
1992

Citations by Year