Computation with classical sequents (2008)

Cached

Download Links

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