Semantic Bounds And Multi Types, Revisited
keywords:
Lambda calculus, intersection types, denotational semantics, linear logiccategory:
Inria & LIX, École Poytechnique, Francebeniamino.accattoli@inria.frhttps://orcid.org/0000-0003-4944-9944 \CopyrightBeniamino Accattoli {CCSXML} <ccs2012> <concept> <concept_id>10003752.10003753.10003754.10003733</concept_id> <concept_desc>Theory of computation Lambda calculus</concept_desc> <concept_significance>500</concept_significance> </concept> <concept> <concept_id>10003752.10010124.10010131.10010133</concept_id> <concept_desc>Theory of computation Denotational semantics</concept_desc> <concept_significance>500</concept_significance> </concept> <concept> <concept_id>10003752.10010124.10010131.10010134</concept_id> <concept_desc>Theory of computation Operational semantics</concept_desc> <concept_significance>500</concept_significance> </concept> </ccs2012> \ccsdesc[500]Theory of computation Lambda calculus \ccsdesc[500]Theory of computation Denotational semantics \ccsdesc[500]Theory of computation Operational semantics \EventEditorsJohn Q. Open and Joan R. Access \EventNoEds2 \EventLongTitle42nd Conference on Very Important Topics (CVIT 2016) \EventShortTitleCVIT 2016 \EventAcronymCVIT \EventYear2016 \EventDateDecember 24–27, 2016 \EventLocationLittle Whinging, United Kingdom \EventLogo \SeriesVolume42 \ArticleNo23