Results 1 -
1 of
1
Simulation, ramification, and linear logic. Submitted to Electronic Transactions in Artificial Intelligence: available from ftp: //ftp.dcs.qmw.ac.uk/pub/applied_logic/graham/simRam.ps (1998)
by G Graham White
