On the Computational Interpretation of CKn for Contextual Information Processing

DOI10.3233/FI-2014-984zbMath1323.03018MaRDI QIDQ5416731

Michael Mendler, Stephan Scheele

Publication date: 14 May 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

type theoryCurry-Howard correspondenceconstructive modal logicscontextual information processingmodal \(\lambda\)-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The Došen square under construction: a tale of four modalities

This page was built for publication: On the Computational Interpretation of CKn for Contextual Information Processing