BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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'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 DBLP: Bakel:Steffen_van

Contributed to:

TLCA 20112011
QAPL 20082008
ESOP 20062006
ESOP 19961996
RTA 19951995
TLCA 19931993
PPDP 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.