Pages that link to "Item:Q5939825"
From MaRDI portal
The following pages link to On the semantics of classical disjunction (Q5939825):
Displaying 6 items.
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- (Q3979889) (← links)
- (Q4279080) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)