Pages that link to "Item:Q408548"
From MaRDI portal
The following pages link to Justification logic as a foundation for certifying mobile computation (Q408548):
Displaying 6 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Explicit auditing (Q1623147) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Justification logic and audited computation (Q4612429) (← links)