Adjoint logic with a 2-category of modes
From MaRDI portal
Publication:5283430
DOI10.1007/978-3-319-27683-0_16zbMATH Open1477.03267OpenAlexW2293895310MaRDI QIDQ5283430FDOQ5283430
Authors: Daniel R. Licata, Michael Shulman 
Publication date: 21 July 2017
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_16
Recommendations
Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) 2-categories, bicategories, double categories (18N10)
Cites Work
- A judgmental reconstruction of modal logic
- Title not available (Why is that?)
- Notions of computation and monads
- Logic Programming with Focusing Proofs in Linear Logic
- Title not available (Why is that?)
- Univalence for inverse diagrams and homotopy canonicity
- Axiomatic cohesion
- A Cubical Approach to Synthetic Homotopy Theory
- Title not available (Why is that?)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Eilenberg-MacLane spaces in homotopy type theory
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory
- π n (S n ) in Homotopy Type Theory
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- A message-passing interpretation of adjoint logic
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Title not available (Why is that?)
- Back to futures
- Modal crash types for intermittent computing
This page was built for publication: Adjoint logic with a 2-category of modes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283430)
