From semantics to types: the case of the imperative \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: From semantics to types: the case of the imperative \(\lambda\)-calculus
author: Ugo de'Liguoro
author: Riccardo Treglia
publication date: 2024-12-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7959051
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: Full abstraction in the lazy lambda calculus
cites work: Intersection types and lambda models
cites work: Recursive Domain Equations of Filter Models
cites work: A filter lambda model and the completeness of type assignment
cites work: Q3077958
cites work: Q4813222
cites work: Not Enough Points Is Enough
cites work: Execution time of λ-terms via denotational semantics and intersection types
cites work: Q3221961
cites work: Q5144664
cites work: The untyped computational \(\lambda \)-calculus and its intersection type discipline
cites work: A complete characterization of complete intersection-type preorders
cites work: Discrete Lawvere theories and computational effects
cites work: The category theoretic understanding of universal algebra: Lawvere theories and monads
cites work: Effectful normal form bisimulation
cites work: Functors are type refinement systems
cites work: Notions of computation and monads
cites work: Q4738236
cites work: Algebraic operations and generic effects
cites work: Generic models for computational effects
DOI: 10.4204/EPTCS.351.11
description: scientific article; zbMATH DE number 7959051