James Lipton - RankMe

24 papers B 5C 1Journal 10Unranked 8

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog. CoRR Gianluca Amato, Mary DeMarco, James Lipton
2018	J	`jnl`	Kripke semantics for higher-order type theory applied to constraint logic programming languages. Theor. Comput. Sci. James Lipton, Susana Nieva
2017	J	`jnl`	Constraint logic programming with a relational machine. Formal Aspects Comput. Emilio Jesús Gallego Arias, James Lipton, Julio Mariño
2014	C	`conf`	Declarative Compilation for Constraint Logic Programming. LOPSTR Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo
2012	—	`conf`	Logic Programming in Tabular Allegories. ICLP (Technical Communications) Emilio Jesús Gallego Arias, James Lipton
2011	J	`jnl`	First-order unification using variable-free relational algebra. Log. J. IGPL Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2010	J	`jnl`	Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2. J. Log. Comput. Olivier Hermant, James Lipton
2009	J	`jnl`	On the algebraic structure of declarative programming languages. Theor. Comput. Sci. Gianluca Amato, James Lipton, Robert W. McGrail
2008	B	`conf`	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. CSL Olivier Hermant, James Lipton
2008	—	`conf`	First-order unification using variable-free relational algebra. UNIF Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira
2007	—	`conf`	Higher-Order Logic Programming Languages with Constraints: A Semantics. TLCA James Lipton, Susana Nieva
2005	J	`jnl`	Completeness and Cut-elimination in the Intuitionistic Theory of Types. J. Log. Comput. Mary DeMarco, James Lipton
2004	J	`jnl`	Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. Theor. Comput. Sci. Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2004	—	`conf`	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
2003	J	`jnl`	A new framework for declarative programming. Theor. Comput. Sci. Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2001	B	`conf`	Indexed Categories and Bottom-Up Semantics of Logic Programs. LPAR Gianluca Amato, James Lipton
1998	—	`conf`	Encapsulating Data in Logic Programming via Categorial Constraints. PLILP/ALP James Lipton, Robert W. McGrail
1996	—	`conf`	A New Framework for Declarative Programming: Categorial Perspectives. ELP James Lipton, Stacy E. Finkelstein, Peter J. Freyd
1996	J	`jnl`	Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. Ann. Pure Appl. Log. James Lipton, Michael J. O'Donnell
1994	—	`conf`	Combinatory Logic Programming: Computing in Relation Calculi. ILPS Paul Broome, James Lipton
1994	B	`conf`	Intuitive Counterexamples for Constructive Fallacies. MFCS James Lipton, Michael J. O'Donnell
1994	B	`conf`	Logic Programming in Tau Categories. CSL Stacy E. Finkelstein, Peter J. Freyd, James Lipton
1991	—	`conf`	Kripke Semantics for Dependent Type Theory and Realizability Interpretations. Constructivity in Computer Science James Lipton
1991	B	`conf`	Provability in TBLL: A Decision Procedure. CSL Jawahar Chirimar, James Lipton