The following pages link to The Intensional Lambda Calculus (Q5434495):
Displayed 7 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Semirings of Evidence (Q5098741) (← links)