`Travelled to:`

1 × Japan

1 × The Netherlands

`Collaborated with:`

R.Hinze T.Harper

`Talks about:`

theori (2) principl (1) categori (1) adventur (1) practic (1) correct (1) fusion (1) uniqu (1) prove (1) point (1)

## Person: Daniel W. H. James

### DBLP: James:Daniel_W=_H=

### Contributed to:

### Wrote 2 papers:

- ICFP-2011-HinzeJ #category theory #fixpoint #proving
- Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
- IFL-2010-HinzeHJ #theory and practice
- Theory and Practice of Fusion (RH, TH, DWHJ), pp. 19–37.