Computation with classical sequents (2008)

View PDF

Download Links

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