Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule (1993)

Cached

Download Links

by J.M.E. Hyland , C. -h. L. Ong
Citations:40 - 4 self