The following pages link to Steffen Van Bakel (Q235593):
Displaying 39 items.
- Orchestrated session compliance (Q347361) (← links)
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- The heart of intersection type assignment: Normalisation proofs revisited (Q930869) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- (Q2766797) (← links)
- Strongly normalising cut-elimination with strict intersection types (Q2842832) (← links)
- Implementing \(\mathcal{X}\) (Q2848126) (← links)
- Intersection and union types for \(\mathcal{X}\) (Q2851093) (← links)
- Strict intersection types for the lambda calculus (Q2875057) (← links)
- An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus (Q2915182) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- (Q3044339) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
- Computation with classical sequents (Q3520146) (← links)
- (Q4268452) (← links)
- (Q4281463) (← links)
- Principal Type Schemes for the Strict Type Assignment System (Q4286211) (← links)
- (Q4501164) (← links)
- (Q4600774) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- (Q4880143) (← links)
- Completeness and Soundness Results for 𝒳 with Intersection and Union Types (Q4903713) (← links)
- (Q4993849) (← links)
- (Q4995379) (← links)
- (Head-)normalization of typeable rewrite systems (Q5055837) (← links)
- (Q5216150) (← links)
- Theoretical Computer Science (Q5395063) (← links)
- Theoretical Computer Science (Q5395064) (← links)
- Theoretical Computer Science (Q5897361) (← links)
- Programming Languages and Systems (Q5899010) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
