Sign in

Linear logical approximations.

Robert J. SimmonsFrank Pfenning
Published in: PEPM (2009)
Keyphrases