Elementary structures in process theory (1): Sets with renaming.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 5, p. 617, doi. 10.1017/s0960129599002947
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2000 AND VI 10 AND IP 5
Results: 2
1
2
On the number of fixed points of a combinator in lambda calculus.
- Published in:
- Mathematical Structures in Computer Science, 2000, v. 10, n. 5, p. 595, doi. 10.1017/s0960129500003091
- By:
- Publication type:
- Article