`Travelled to:`

1 × The Netherlands

1 × USA

1 × United Kingdom

`Collaborated with:`

J.A.Bergstra J.W.Klop R.C.d.Vrijer A.Ponse

`Talks about:`

algebra (3) process (2) combinatori (1) program (1) partial (1) equival (1) complet (1) normal (1) combin (1) uniqu (1)

## Person: Inge Bethke

### DBLP: Bethke:Inge

### Contributed to:

### Wrote 3 papers:

- ICALP-2003-BergstraB #algebra #equivalence #process
- Polarized Process Algebra and Program Equivalence (JAB, IB), pp. 1–21.
- LICS-1996-BethkeKV #algebra #combinator #normalisation
- Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
- CSL-1993-BergstraBP #algebra #combinator #process
- Process Algebra with Combinators (JAB, IB, AP), pp. 36–65.