On the Computational Interpretation of CKn for Contextual Information Processing (Q5416731)
From MaRDI portal
scientific article; zbMATH DE number 6295289
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Computational Interpretation of CKn for Contextual Information Processing |
scientific article; zbMATH DE number 6295289 |
Statements
On the Computational Interpretation of CKn for Contextual Information Processing (English)
0 references
14 May 2014
0 references
modal \(\lambda\)-calculus
0 references
constructive modal logics
0 references
type theory
0 references
Curry-Howard correspondence
0 references
contextual information processing
0 references