A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)

Abstract

Intuitionistic linear logic regains the expressive power of intuitionistic logic through the ! (`of course') modality. Benton, Bierman, Hyland and de Paiva have given a term assignment system for ILL and an associated notion of categorical model in which the ! modality is modelled by a comonad satisfying certain extra conditions. Ordinary intuitionistic… (More)
DOI: 10.1007/BFb0022251

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

02040'96'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

187 Citations

Semantic Scholar estimates that this publication has 187 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics