Searching for "Computation with classical sequents." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Computation with classical sequents
- …To appear in Math. Struct. in Comp. Science Computation with Classical Sequents Steffen van Bakel…
- Cited by 6 (6 self) – Add To MetaCart
-
To appear in Math. Struct. in Comp. Science Computation with Classical Sequents
- …To appear in Math. Struct. in Comp. Science Computation with Classical Sequents Steffen van Bakel…
- Add To MetaCart
-
Sequent Calculus Viewed Modulo
- … on propositions representing computations. Viry [Vir98] had the idea that the classical rst-order sequent calculus…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 3.
