Implicit exchange in multiplicative proofnets.
- Published in:
- Mathematical Structures in Computer Science, 2001, v. 11, n. 2, p. 261, doi. 10.1017/s0960129500003285
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2001 AND VI 11 AND IP 2
Results: 3
1
2
Mu-depth 3 is more than 2: a game-theoretic proof.
- Published in:
- Mathematical Structures in Computer Science, 2001, v. 11, n. 2, p. 273, doi. 10.1017/s0960129500003194
- By:
- Publication type:
- Article
3
Control categories and duality: on the categorical semantics of the lambda-mu calculus.
- Published in:
- Mathematical Structures in Computer Science, 2001, v. 11, n. 2, p. 207, doi. 10.1017/s096012950000311x
- By:
- Publication type:
- Article