Count... versus the pigeon-hole principle.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 3, p. 157, doi. 10.1007/s001530050060
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1997 AND VI 36 AND IP 3
Results: 3
1
2
A parallel game semantics for Linear Logic.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 3, p. 189, doi. 10.1007/s001530050061
- By:
- Publication type:
- Article
3
Hereditarily effective typestreams.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 3, p. 219, doi. 10.1007/s001530050062
- By:
- Publication type:
- Article