Works matching IS 01290541 AND DT 2001 AND VI 12 AND IP 1
Results: 4
Lambda-Representable Functions over Term Algebras.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 1, p. 3, doi. 10.1142/S0129054101000394
- By:
- Publication type:
- Article
Martin-Löf's Type Theory as an Open-Ended Framework.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 1, p. 31, doi. 10.1142/S0129054101000400
- By:
- Publication type:
- Article
Rewriting with Strategies in ELAN: A Functional Semantics.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 1, p. 69
- By:
- Publication type:
- Article
Automatic Result Verification by Complete Run-Time Checking of Computations.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 1, p. 97, doi. 10.1142/S0129054101000424
- By:
- Publication type:
- Article