To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A Unified View of Modalit… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

A Unified View of Modalities in Type Systems

Journal article
Authors Andreas Abel
Jean-Philippe Bernardy
Published in Proceedings of the ACM on Programming Languages
Volume 4
Issue ICFP
Publication year 2020
Published at Department of Philosophy, Linguistics and Theory of Science
Department of Computer Science and Engineering, Computing Science (GU)
Language en
Keywords linear types, modal logic, subtyping.
Subject categories Theoretical computer science


We propose to unify the treatment of a broad range of modalities in typed lambda calculi. We do so by defining a generic structure of modalities, and show that this structure arises naturally from the structure of intuitionistic logic, and as such finds instances in a wide range of type systems previously described in literature. Despite this generality, this structure has a rich metatheory, which we expose.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?