Type-based termination of recursive definitions.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 97, doi. 10.1017/s0960129503004122
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2004 AND VI 14 AND IP 1
Results: 6
1
2
Wheels on division by zero.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 143, doi. 10.1017/s0960129503004110
- By:
- Publication type:
- Article
3
Two-dimensional proof-structures and the exchange rule.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 73, doi. 10.1017/s0960129503004092
- By:
- Publication type:
- Article
4
Corrigenda for Connected limits, familial representability and Artin glueing.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 185, doi. 10.1017/s0960129503004080
- By:
- Publication type:
- Article
5
A categorical version of the BrouwerHeytingKolmogorov interpretation.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 57, doi. 10.1017/s0960129503003955
- By:
- Publication type:
- Article
6
A simple process algebra based on atomic actions with resources.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 1, doi. 10.1017/s0960129503003943
- By:
- Publication type:
- Article