Between logic and quantic: a tract (2003)

View PDF

Download Links

by Jean-Yves Girard
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:19 - 1 self