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:
2003
1996
1993Wrote 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.