Computation with classical sequents (2008)

Cached

Download Links

by Steffen van Bakel , Pierre Lescanne
Venue:MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE
Citations:16 - 16 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
Computation with Classical Sequents –Steffen Van Bakel, Pierre Lescanne — 2008 — MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 18:555-609, 2008