Categorifying non-idempotent intersection types
From MaRDI portal
Cites work
- A new type assignment for λ-terms
- A profunctorial Scott semantics
- A semantic account of strong normalization in linear logic
- A semantic measure of the execution time in linear logic
- A Semantical and Operational Account of Call-by-Value Solvability
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- An extension of basic functionality theory for -calculus
- Call-By-Push-Value from a Linear Logic Point of View
- Call-by-value Solvability
- Classical lambda calculus in modern dress
- Collapsing non-idempotent intersection types
- Execution time of λ-terms via denotational semantics and intersection types
- Generalised species of rigid resource terms
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 482822 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1479634 (Why is no real title available?)
- scientific article; zbMATH DE number 7003195 (Why is no real title available?)
- Infinitary intersection types as sequences. A new answer to Klop's problem
- Intersection types and lambda models
- Introduction to bicategories
- Linear logic
- Logical Approaches to Computational Barriers
- Modal embeddings and calling paradigms
- Non-idempotent intersection types and strong normalisation
- Non-idempotent intersection types for the lambda-calculus
- On operads, bimodules and analytic functors
- On the Taylor expansion of probabilistic λ-terms
- Profunctors, open maps and bisimulation
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
- Taylor expansion for Call-By-Push-Value
- Term Rewriting and Applications
- The bang calculus and the two Girard's translations
- The bang calculus revisited
- The cartesian closed bicategory of generalised species of structures
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The Scott model of linear logic is the extensional collapse of its relational model
- Two-dimensional monad theory
- Uniformity and the Taylor expansion of ordinary lambda-terms
This page was built for publication: Categorifying non-idempotent intersection types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839811)
