scientific article; zbMATH DE number 7533352

DOI10.4230/LIPIcs.CSL.2018.27MaRDI QIDQ5079752

Toru Kawata

Publication date: 28 May 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Curry-Howard isomorphismshift/resetdelimited continuationscontextual modal logicmonadic reflection

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• On typing delimited continuations: Three new solutions to the printf problem
• A syntactic theory of sequential control
• A proof-theoretic foundation of abortive continuations
• A judgmental reconstruction of modal logic
• A completeness theorem in modal logic
• Polymorphic Delimited Continuations
• A Substructural Type System for Delimited Continuations
• Representing Control: a Study of the CPS Transformation
• Monads in action
• Contextual modal type theory
• Computer Science Logic

This page was built for publication: