Computation with classical sequents (2008)
by
Steffen van Bakel
,
Pierre Lescanne
| Venue: | MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE |
| Citations: | 10 - 10 self |
Document Versions
| Computation with classical sequents –Steffen van Bakel, Pierre Lescanne — 2008 — MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE |
| Computation with Classical Sequents –Steffen van Bakel, et al. — 2005 — MATH. STRUCT. IN COMP. SCIENCE |
