Between logic and quantic: a tract (2003)

Cached

Download Links

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