The following pages link to Programming Languages and Systems (Q5308700):
Displaying 12 items.
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- Principals in programming languages, a syntactic proof technique (Q2817722) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- (Q3350772) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)
- Synthesis of Data Views for Communicating Processes (Q5504601) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5891978) (← links)
