`Travelled to:`

1 × France

1 × Hungary

1 × Switzerland

1 × USA

1 × United Kingdom

2 × Italy

`Collaborated with:`

E.J.G.Arias O.Hermant S.Nieva R.McGrail P.Broome J.Chirimar J.Mariño-Carballo

`Talks about:`

program (5) logic (5) constraint (3) semant (2) combinatori (1) construct (1) procedur (1) encapsul (1) categori (1) approach (1)

## Person: James Lipton

### DBLP: Lipton:James

### Contributed to:

### Wrote 7 papers:

- LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming
- Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
- ICLP-2012-AriasL #logic programming
- Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.
- CSL-2008-HermantL #approach #axiom #semantics
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (OH, JL), pp. 169–183.
- TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics
- Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
- ALP-PLILP-1998-LiptonM #constraints #encapsulation #logic programming
- Encapsulating Data in Logic Programming via Categorial Constraints (JL, RM), pp. 391–410.
- ILPS-1994-BroomeL #calculus #combinator #logic programming
- Combinatory Logic Programming: Computing in Relation Calculi (PB, JL), pp. 269–285.
- CSL-1991-ChirimarL
- Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.