Recommendations
Cites work
- scientific article; zbMATH DE number 6694181 (Why is no real title available?)
- scientific article; zbMATH DE number 2079022 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- A cubical approach to synthetic homotopy theory
- A judgmental reconstruction of modal logic
- Axiomatic cohesion
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory
- Eilenberg-MacLane spaces in homotopy type theory
- Logic Programming with Focusing Proofs in Linear Logic
- Notions of computation and monads
- Univalence for inverse diagrams and homotopy canonicity
- \(\pi _{n }(S ^{n })\) in homotopy type theory
Cited in
(12)- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- scientific article; zbMATH DE number 7779294 (Why is no real title available?)
- Semantics of multimodal adjoint type theory
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Unifying cubical and multimodal type theory
- A message-passing interpretation of adjoint logic
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Semi-axiomatic sequent calculus
- Adjoint natural deduction
- Back to futures
- Modal crash types for intermittent computing
- Multimodal dependent type theory
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)
