JFP volume 6 issue 5 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. f1, doi. 10.1017/S095679680000191X
- Publication type:
- Article
Works matching IS 09567968 AND DT 1996 AND VI 6 AND IP 5
Results: 6
1
2
A simple proof of the undecidability of inhabitation in λP.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. 757, doi. 10.1017/S0956796800001969
- By:
- Publication type:
- Article
3
λν, a calculus of explicit substitutions which preserves strong normalisation.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. 699, doi. 10.1017/S0956796800001945
- By:
- Publication type:
- Article
4
π-RED+ An interactive compiling graph reduction system for an applied λ-calculus.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. 723, doi. 10.1017/S0956796800001957
- By:
- Publication type:
- Article
5
A syntactic theory of type generativity and sharing.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. 667, doi. 10.1017/S0956796800001933
- By:
- Publication type:
- Article
6
JFP volume 6 issue 5 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1996, v. 6, n. 5, p. b1, doi. 10.1017/S0956796800001921
- Publication type:
- Article