Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 6, p. 667, doi. 10.1017/s0956796897002918
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1997 AND VI 7 AND IP 6
Results: 5
1
2
Trust in the »-calculus.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 6, p. 557, doi. 10.1017/s0956796897002906
- By:
- Publication type:
- Article
3
Modularity of strong normalization in the algebraic-»-cube.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 6, p. 613, doi. 10.1017/s095679689700289x
- By:
- Publication type:
- Article
4
On combinatory complete sets of proper combinators.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 6, p. 593, doi. 10.1017/s0956796897002888
- By:
- Publication type:
- Article
5
Three algorithms on Braun trees.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 6, p. 661, doi. 10.1017/s0956796897002876
- By:
- Publication type:
- Article