Steffen van Bakel

Available identifiers

zbMath Open van-bakel.steffenMaRDI QIDQ235593

List of research outcomes

Publication	Date of Publication	Type
(Head-)normalization of typeable rewrite systems	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4995379	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4993849	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q5216150	2020-02-14	Paper
Approximation and normalization results for typeable term rewriting systems	2019-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4600774	2018-01-12	Paper
Orchestrated session compliance	2016-11-30	Paper
Strict intersection types for the Lambda Calculus	2014-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2851093	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848126	2013-09-25	Paper
Strongly Normalising Cut-Elimination with Strict Intersection Types	2013-08-16	Paper
Completeness and Soundness Results for 𝒳 with Intersection and Union Types	2013-01-24	Paper
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus	2012-09-21	Paper
Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)	2011-08-26	Paper
A Filter Model for the λμ-Calculus	2011-06-17	Paper
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming	2011-06-17	Paper
Theoretical Computer Science	2010-02-23	Paper
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types	2009-10-22	Paper
Computation with classical sequents	2008-08-15	Paper
The heart of intersection type assignment: Normalisation proofs revisited	2008-06-24	Paper
Logical equivalence for subtyping object and recursive types	2008-04-11	Paper
Programming Languages and Systems	2007-05-02	Paper
Theoretical Computer Science	2006-11-01	Paper
Theoretical Computer Science	2006-11-01	Paper
Cut-elimination in the strict intersection type assignment system is strongly normalizing	2005-07-06	Paper
Intersection types for explicit substitutions	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q3044339	2004-08-11	Paper
Normalization, approximation, and semantics for combinator systems	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2766797	2002-07-22	Paper
Intersection types for \(\lambda\)-trees	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4501164	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4268452	1999-10-31	Paper
Comparing cubes of typed and type assignment systems	1997-10-23	Paper
Normalization results for typeable rewrite systems	1997-06-16	Paper
Intersection type assignment systems	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4880143	1996-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4281463	1994-10-24	Paper
Principal Type Schemes for the Strict Type Assignment System	1994-03-27	Paper
Complete restrictions of the intersection type discipline	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steffen van Bakel