JKF
19 lines
925 B
BibTeX
19 lines
925 B
BibTeX
@article{abel_bernardy_2020,
|
|
author = {Abel, Andreas and Bernardy, Jean-Philippe},
|
|
title = {A unified view of modalities in type systems},
|
|
year = {2020},
|
|
issue_date = {August 2020},
|
|
publisher = {Association for Computing Machinery},
|
|
address = {New York, NY, USA},
|
|
volume = {4},
|
|
number = {ICFP},
|
|
url = {https://doi.org/10.1145/3408972},
|
|
doi = {10.1145/3408972},
|
|
abstract = {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.},
|
|
journal = {Proc. ACM Program. Lang.},
|
|
month = aug,
|
|
articleno = {90},
|
|
numpages = {28},
|
|
keywords = {subtyping, modal logic, linear types}
|
|
}
|