`Travelled to:`

3 × USA

`Collaborated with:`

D.J.Pym M.R.Donat D.Sannella E.Ritter

`Talks about:`

resolut (2) proof (2) order (2) intuitionist (1) generalis (1) construct (1) investig (1) function (1) calculus (1) program (1)

## Person: Lincoln A. Wallen

### DBLP: Wallen:Lincoln_A=

### Contributed to:

### Wrote 4 papers:

- CADE-1996-RitterPW
- Proof-Terms for Classical and Intuitionistic Resolution (ER, DJP, LAW), pp. 17–31.
- CADE-1990-PymW #first-order
- Investigations into Proof-Search in a System of First-Order Dependent Function Types (DJP, LAW), pp. 236–250.
- CADE-1988-DonatW #higher-order #learning #using
- Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.
- SLP-1987-SannellaW87 #calculus #composition #prolog #source code
- A Calculus for the Construction of Modular Prolog Programs (DS, LAW), pp. 368–378.