Follow
James B Lipton
James B Lipton
Professor of Computer Science, Wesleyan University
Verified email at wesleyan.edu
Title
Cited by
Cited by
Year
Completeness and cut-elimination in the intuitionistic theory of types
M DeMarco, J Lipton
Journal of Logic and Computation 15 (6), 821-854, 2005
342005
On the algebraic structure of declarative programming languages
G Amato, J Lipton, R McGrail
Theoretical Computer Science 410 (46), 4626-4671, 2009
322009
Logic programming in tau categories
SE Finkelstein, P Freyd, J Lipton
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
311995
A new framework for declarative programming
SE Finkelstein, P Freyd, J Lipton
Theoretical Computer Science 300 (1-3), 91-160, 2003
252003
Hiord: A type-free higher-order logic programming language with predicate abstraction
D Cabeza, M Hermenegildo, J Lipton
Annual Asian Computing Science Conference, 93-108, 2004
222004
Constructive Kripke semantics and realizability
J Lipton
Logic from Computer Science: Proceedings of a Workshop held November 13–17 …, 1992
171992
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
J Lipton, MJ O'Donnell
Annals of Pure and Applied Logic 81 (1-3), 187-239, 1996
161996
Combinatory Logic Programming: Computing in Relation Calculi.
P Broome, J Lipton
ILPS 94, 269-285, 1994
131994
Higher-order logic programming languages with constraints: A semantics
J Lipton, S Nieva
International Conference on Typed Lambda Calculi and Applications, 272-289, 2007
122007
Encapsulating data in logic programming via categorical constraints
J Lipton, R McGrail
International Conference on Algebraic and Logic Programming, 391-410, 1998
121998
Realizability, set theory and term extraction
J Lipton
The Curry-Howard isomorphism, 257-364, 1995
101995
Some notes on logic programming with a relational machine
J Lipton, E Chapman
Using Relational Methods in Computer Science, Technical Report, 1-34, 1998
81998
Logic programming in tabular allegories
EJ Gallego Arias, J B Lipton
Technical Communications of the 28th International Conference on Logic …, 2012
72012
A constructive semantic approach to cut elimination in type theories with axioms
O Hermant, J Lipton
International Workshop on Computer Science Logic, 169-183, 2008
72008
Indexed categories and bottom-up semantics of logic programs
G Amato, J Lipton
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
72001
Constraint logic programming with a relational machine
EJ Gallego Arias, J Lipton, J Mariño
Formal Aspects of Computing 29, 97-124, 2017
62017
First-order unification using variable-free relational algebra
EJG Arias, J Lipton, J Mariño, P Nogueira
Logic Journal of the IGPL 19 (6), 790-820, 2011
62011
Kripke semantics for dependent type theory and realizability interpretations
J Lipton
Symposium on Constructivity in Computer Science, 22-32, 1991
61991
Completeness and Cut-elimination in the Intuitionistic Theory of Types-Part 2.
O Hermant, J Lipton
J. Log. Comput. 20 (2), 597-602, 2010
52010
Combinatory logic programming
J Lipton, P Broome
Proc. ILPS 94, 1994
51994
The system can't perform the operation now. Try again later.
Articles 1–20