Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11141
Title: | Intersection and union types in the λ̄μμ̃-calculus | Authors: | Dougherty D. Gilezan, Silvia Lescanne P. |
Issue Date: | 19-Jul-2005 | Journal: | Electronic Notes in Theoretical Computer Science | Abstract: | The original λ̄μμ̃ of Curien and Herbelin has a system of simple types, based on sequent calculus, embodying a Curry-Howard correspondence with classical logic. We introduce and discuss three type assignment systems that are extensions of λ̄μμ̃ with intersection and union types. The intrinsic symmetry in the λ̄μ μ̃ calculus leads to an essential use of both intersection and union types. © 2005 Published by Elsevier B.V. | URI: | https://open.uns.ac.rs/handle/123456789/11141 | ISSN: | 15710661 | DOI: | 10.1016/j.entcs.2005.06.010 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
4
checked on Sep 9, 2023
Page view(s)
45
Last Week
0
0
Last month
0
0
checked on Mar 15, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.