scientific article; zbMATH DE number 2061702
From MaRDI portal
Publication:4457448
Recommendations
- On strong normalization and type inference in the intersection type discipline
- Strong normalization and typability with intersection types
- An elementary proof of strong normalization for intersection types
- THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
- Non-idempotent intersection types and strong normalisation
- Strong normalization in the \(\pi \)-calculus with intersection and union types
- Strong normalization in core type theory
- Strong normalization in type systems: A model theoretical approach
- Strong Normalization and Equi-(Co)Inductive Types
- Strong normalization through intersection types and memory
Cited in
(13)- Strong normalization for typed terms with surjective pairing
- An elementary proof of strong normalization for intersection types
- Strong normalization through intersection types and memory
- Normalization without reducibility
- Strong normalization and typability with intersection types
- Ensuring termination by typability
- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
- A simple proof of the undecidability of strong normalisation
- Strong normalization in the \(\pi \)-calculus with intersection and union types
- scientific article; zbMATH DE number 7526053 (Why is no real title available?)
- THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
- Strong normalization through idempotent intersection types: a new syntactical approach
- On strong normalization and type inference in the intersection type discipline
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457448)
