Skip to content

Computational and Concurrency Models of Linear Logic.

Max I. Kanovich

Year1994
ProceedingsLFCS

Browse the full LFCS paper archive.