Author name cluster
Inge Bethke
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
Possible papers
4I&C Journal 2000 Journal Article
Descendants and Origins in Term Rewriting
- Inge Bethke
- Jan Willem Klop
- Roel de Vrijer
In this paper we treat various aspects of a notion that is central in term rewriting, namely that of descendants or residuals. We address both first-order term rewriting and λ-calculus, their finitary as well as their infinitary variants. A recurrent theme is the parallel moves lemma. Next to the classical notion of descendant, we introduce an extended version, known as origin tracking. Origin tracking has many applications. Here it is employed to give new proofs of three classical theorems: the genericity lemma in λ-calculus, the theorem of Huet and Lévy on needed reductions in first-order term rewriting, and Berry's sequentiality theorem in (infinitary) λ-calculus.
CSL Conference 1994 Conference Paper
Process Algebra with Combinators
- Jan A. Bergstra
- Inge Bethke
- Alban Ponse
Abstract We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this frame-work the Simple Alternating Bit Protocol.
TCS Journal 1991 Journal Article
Coherence spaces are untopological
- Inge Bethke
The purpose of this note is to show that stability is not a topological property. That is, that coherence spaces - except for the so-called flat ones - cannot be equipped with a topology such that the notions of continuity and stability coincide.