Folgen
James B Lipton
James B Lipton
Professor of Computer Science, Wesleyan University
Bestätigte E-Mail-Adresse bei wesleyan.edu
Titel
Zitiert von
Zitiert von
Jahr
On the algebraic structure of declarative programming languages
G Amato, J Lipton, R McGrail
Theoretical Computer Science 410 (46), 4626-4671, 2009
312009
Completeness and cut-elimination in the intuitionistic theory of types
M DeMarco, J Lipton
Journal of Logic and Computation 15 (6), 821-854, 2005
302005
Logic programming in tau categories
SE Finkelstein, P Freyd, J Lipton
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
301995
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
ASIAN 3321, 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
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
112007
Encapsulating data in logic programming via categorical constraints
J Lipton, R McGrail
Principles of Declarative Programming: 10th International Symposium, PLILP …, 2006
112006
Some notes on logic programming with a relational machine
J Lipton, E Chapman
Using Relational Methods in Computer Science, Technical Report, 1-34, 1998
91998
Realizability, set theory and term extraction
J Lipton
The Curry-Howard isomorphism, 257-364, 1995
91995
Indexed categories and bottom-up semantics of logic programs
G Amato, J Lipton
Logic for Programming, Artificial Intelligence, and Reasoning: 8th …, 2001
82001
Kripke semantics for dependent type theory and realizability interpretations
J Lipton
Constructivity in Computer Science: Summer Symposium San Antonio, TX, June …, 1992
71992
Logic programming in tabular allegories
EJ Gallego Arias, J B Lipton
Technical Communications of the 28th International Conference on Logic …, 2012
62012
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
A constructive semantic approach to cut elimination in type theories with axioms
O Hermant, J Lipton
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual …, 2008
62008
Constraint logic programming with a relational machine
EJ Gallego Arias, J Lipton, J Mariño
Formal Aspects of Computing 29, 97-124, 2017
52017
Provability in TBLL: A decision procedure
J Chirimar, J Lipton
Computer Science Logic: 5th Workshop, CSL'91 Berne, Switzerland, October 7 …, 1992
51992
Completeness and Cut-elimination in the Intuitionistic Theory of Types-Part 2.
O Hermant, J Lipton
J. Log. Comput. 20 (2), 597-602, 2010
42010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20