Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp.

1997 ◽  
Vol 62 (2) ◽  
pp. 678-680
Author(s):  
Dale Miller
Sign in / Sign up

Export Citation Format

Share Document