Pages that link to "Item:Q276037"

The following pages link to J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037):

Displaying 2 items.

• A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
• Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)