Between logic and quantic: a tract (2003)

Cached

Download Links

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