Type assignment and termination of interaction nets.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 6, p. 593, doi. 10.1017/s0960129598002679
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1998 AND VI 8 AND IP 6
Results: 4
1
2
Concurrent programming as proof net construction.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 6, p. 681, doi. 10.1017/s0960129598002655
- By:
- Publication type:
- Article
3
Regular Böhm trees.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 6, p. 671, doi. 10.1017/s0960129598002643
- By:
- Publication type:
- Article
4
Minimality of the correctness criterion for multiplicative proof nets.
- Published in:
- Mathematical Structures in Computer Science, 1998, v. 8, n. 6, p. 543, doi. 10.1017/s096012959800262x
- By:
- Publication type:
- Article