The algebraic lambda calculus.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 1029, doi. 10.1017/S0960129509990089
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2009 AND VI 19 AND IP 5
Results: 5
1
2
Algebra and logic for resource-based systems modelling.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 959, doi. 10.1017/S0960129509990077
- By:
- Publication type:
- Article
3
The sequential topology on N<sup>N<sup>N</sup></sup> is not regular.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 943, doi. 10.1017/S0960129509990065
- By:
- Publication type:
- Article
4
Effective λ-models versus recursively enumerable λ-theories.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 897, doi. 10.1017/S0960129509990053
- By:
- Publication type:
- Article
5
Social processes, program verification and all that.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 5, p. 877, doi. 10.1017/S0960129509990041
- By:
- Publication type:
- Article