Volume 36, Issue 3 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 36, Issue 3

April 1997

3 articles in this issue

Count(\(q\)) versus the pigeon-hole principle
Søren Riis
Pages: 157 - 188
A parallel game semantics for Linear Logic
Stefano Baratella
Stefano Berardi
Pages: 189 - 217
Hereditarily effective typestreams
Dag Normann
Pages: 219 - 225