Pages that link to "Item:Q2929866"
From MaRDI portal
The following pages link to On semantics of a term calculus for classical logic (Q2929866):
Displaying 6 items.
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- Call-by-value, call-by-name, and strong normalization for the classical sequent calculus (Q2844073) (← links)
- A semantics of realisability for the classical propositional natural deduction (Q2851691) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- Classical logic, continuation semantics and abstract machines (Q4240152) (← links)