`Travelled to:`

1 × Austria

1 × Germany

1 × Serbia

1 × Sweden

1 × The Netherlands

`Collaborated with:`

∅ M.Fernández F.Barbanera R.N.S.Rowe A.J.Summers U.de'Liguoro I.Khan M.G.Vigliotti J.K.Heath

`Talks about:`

system (3) rewrit (3) calculus (2) approxim (2) classic (2) normal (2) assign (2) model (2) type (2) intracellular (1)

## Person: Steffen van Bakel

### DBLP: Bakel:Steffen_van

### Contributed to:

### Wrote 8 papers:

- TLCA-2011-BakelBd #λ-calculus #μ-calculus
- A Filter Model for the λμ-Calculus — (SvB, FB, Ud), pp. 213–228.
- TLCA-2011-RoweB #approximate #object-oriented #programming #semantics
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (RNSR, SvB), pp. 229–244.
- QAPL-2008-BakelKVH #modelling
- Modelling Intracellular Fate of FGF Receptors With BioAmbients (SvB, IK, MGV, JKH), pp. 181–197.
- ESOP-2006-SummersB #calculus #morphism #polymorphism
- Approaches to Polymorphism in Classical Sequent Calculus (AJS, SvB), pp. 84–99.
- ESOP-1996-BakelBF #abstraction #normalisation #term rewriting
- Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
- RTA-1995-BakelF #normalisation #term rewriting #type system
- (Head-) Normalization of Typeable Rewrite Systems (SvB, MF), pp. 279–293.
- TLCA-1993-Bakel #term rewriting
- Partial Intersection Type Assignment in Applicative Term Rewriting Systems (SvB), pp. 29–44.
- PPDP-2019-Bakel #exception #logic
- Exception Handling and Classical Logic (SvB), p. 14.