Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James Lipton
@article{DBLP:journals/tcs/LiptonN18,
author = {James Lipton and
Susana Nieva},
title = {Kripke semantics for higher-order type theory applied to constraint
logic programming languages},
journal = {Theor. Comput. Sci.},
volume = {712},
pages = {1--37},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.11.005},
doi = {10.1016/J.TCS.2017.11.005},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiptonN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AriasLM17,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o},
title = {Constraint logic programming with a relational machine},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {97--124},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0369-z},
doi = {10.1007/S00165-016-0369-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AriasLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AriasLM14,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o{-}Carballo},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Declarative Compilation for Constraint Logic Programming},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {299--316},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_17},
doi = {10.1007/978-3-319-17822-6\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AriasLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AriasL12,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Logic Programming in Tabular Allegories},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {334--347},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.334},
doi = {10.4230/LIPICS.ICLP.2012.334},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AriasL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AriasLMN11,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o and
Pablo Nogueira},
title = {First-order unification using variable-free relational algebra},
journal = {Log. J. {IGPL}},
volume = {19},
number = {6},
pages = {790--820},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq011},
doi = {10.1093/JIGPAL/JZQ011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AriasLMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HermantL10,
author = {Olivier Hermant and
James Lipton},
title = {Completeness and Cut-elimination in the Intuitionistic Theory of Types
- Part 2},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {597--602},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp076},
doi = {10.1093/LOGCOM/EXP076},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HermantL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmatoLM09,
author = {Gianluca Amato and
James Lipton and
Robert McGrail},
title = {On the algebraic structure of declarative programming languages},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4626--4671},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.038},
doi = {10.1016/J.TCS.2009.07.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AmatoLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HermantL08,
author = {Olivier Hermant and
James Lipton},
editor = {Michael Kaminski and
Simone Martini},
title = {A Constructive Semantic Approach to Cut Elimination in Type Theories
with Axioms},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {169--183},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_14},
doi = {10.1007/978-3-540-87531-4\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HermantL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/AriasLMN08,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton and
Julio Mari{\~{n}}o and
Pablo Nogueira},
editor = {Mircea Marin},
title = {First-order unification using variable-free relational algebra},
booktitle = {Proceedings of the 22nd International Workshop on Unification, {UNIF}
2008, Castle of Hagenberg, Austria, July 18, 2008},
pages = {40--54},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc\_3454/UNIF\_proceedings.pdf\#page=48},
timestamp = {Tue, 19 Sep 2023 14:44:31 +0200},
biburl = {https://dblp.org/rec/conf/unif/AriasLMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/LiptonN07,
author = {James Lipton and
Susana Nieva},
editor = {Simona Ronchi Della Rocca},
title = {Higher-Order Logic Programming Languages with Constraints: {A} Semantics},
booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
{TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4583},
pages = {272--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73228-0\_20},
doi = {10.1007/978-3-540-73228-0\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/LiptonN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DeMarcoL05,
author = {Mary DeMarco and
James Lipton},
title = {Completeness and Cut-elimination in the Intuitionistic Theory of Types},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {821--854},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi055},
doi = {10.1093/LOGCOM/EXI055},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DeMarcoL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelsteinFL04,
author = {Stacy E. Finkelstein and
Peter J. Freyd and
James Lipton},
title = {Erratum to: "A new framework for declarative programming":
[Theoret. Comput. Sci. 300 {(2003)} 91-160]},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {527},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.09.011},
doi = {10.1016/J.TCS.2003.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FinkelsteinFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/CabezaHL04,
author = {Daniel Cabeza and
Manuel V. Hermenegildo and
James Lipton},
editor = {Michael J. Maher},
title = {Hiord: {A} Type-Free Higher-Order Logic Programming Language with
Predicate Abstraction},
booktitle = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision
Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis
Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand,
December 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3321},
pages = {93--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30502-6\_7},
doi = {10.1007/978-3-540-30502-6\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/CabezaHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelsteinFL03,
author = {Stacy E. Finkelstein and
Peter J. Freyd and
James Lipton},
title = {A new framework for declarative programming},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {91--160},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00308-5},
doi = {10.1016/S0304-3975(01)00308-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FinkelsteinFL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AmatoL01,
author = {Gianluca Amato and
James Lipton},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Indexed Categories and Bottom-Up Semantics of Logic Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {438--454},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_30},
doi = {10.1007/3-540-45653-8\_30},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AmatoL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LiptonM98,
author = {James Lipton and
Robert McGrail},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Encapsulating Data in Logic Programming via Categorial Constraints},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {391--410},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056628},
doi = {10.1007/BFB0056628},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LiptonM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/LiptonO96,
author = {James Lipton and
Michael J. O'Donnell},
title = {Some Intuitions Behind Realizability Semantics for Constructive Logic:
Tableaux and L{\"{a}}uchli Countermodels},
journal = {Ann. Pure Appl. Log.},
volume = {81},
number = {1-3},
pages = {187--239},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(96)00002-4},
doi = {10.1016/0168-0072(96)00002-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/LiptonO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/LiptonFF96,
author = {James Lipton and
Stacy E. Finkelstein and
Peter J. Freyd},
editor = {Roy Dyckhoff and
Heinrich Herre and
Peter Schroeder{-}Heister},
title = {A New Framework for Declarative Programming: Categorial Perspectives},
booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
Leipzig, Germany, March 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1050},
pages = {209--211},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60983-0\_14},
doi = {10.1007/3-540-60983-0\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/LiptonFF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FinkelsteinFL94,
author = {Stacy E. Finkelstein and
Peter J. Freyd and
James Lipton},
editor = {Leszek Pacholski and
Jerzy Tiuryn},
title = {Logic Programming in Tau Categories},
booktitle = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
Poland, September 25-30, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {933},
pages = {249--263},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0022261},
doi = {10.1007/BFB0022261},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/FinkelsteinFL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiptonO94,
author = {James Lipton and
Michael J. O'Donnell},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {Intuitive Counterexamples for Constructive Fallacies},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {87--111},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_61},
doi = {10.1007/3-540-58338-6\_61},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiptonO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BroomeL94,
author = {Paul Broome and
James Lipton},
editor = {Maurice Bruynooghe},
title = {Combinatory Logic Programming: Computing in Relation Calculi},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {269--285},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BroomeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/constructivity/Lipton91,
author = {James Lipton},
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {Kripke Semantics for Dependent Type Theory and Realizability Interpretations},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {613},
pages = {22--32},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0021080},
doi = {10.1007/BFB0021080},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/constructivity/Lipton91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChirimarL91,
author = {Jawahar Chirimar and
James Lipton},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Provability in {TBLL:} {A} Decision Procedure},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {53--67},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023757},
doi = {10.1007/BFB0023757},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChirimarL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
