La lecture à portée de main
Suivre
Documents
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Chuck Liang
Documents
Rapports de stage
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Chuck Liang
29 pages
English
Documents
Focusing and Polarization in Intuitionistic Logic
Documents
Rapports de stage
Focusing and Polarization in Intuitionistic Logic
15 pages
English
Documents
A Focused Approach to Combining Logics
C Liang
Documents
Etudes supérieures
A Focused Approach to Combining Logics
C Liang
33 pages
English
Documents
CSL07 September
Documents
An Intuitionistic Logic for Sequential Control
C Liang
Documents
Etudes supérieures
An Intuitionistic Logic for Sequential Control
C Liang
15 pages
English
Documents
On focusing and polarities in linear logic and intuitionistic logic Chuck Liang
Documents
Rapports de stage
On focusing and polarities in linear logic and intuitionistic logic Chuck Liang
68 pages
English
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}