Computation with classical sequents (2008)

Cached

Download Links

by Steffen van Bakel , Pierre Lescanne
Venue:MATHEMATICAL STRUCTURES OF COMPUTER SCIENCE
Citations:22 - 21 self