First-order functional languages and intensional logic.Published in:Journal of Functional Programming, 1997, v. 7, n. 1, p. 73, doi. 10.1017/s0956796897002633By:RONDOGIANNIS, P.;WADGE, W. W.Publication type:Article
A foundation for actor computation.Published in:Journal of Functional Programming, 1997, v. 7, n. 1, p. 1, doi. 10.1017/s095679689700261xBy:AGHA, GUL A.;MASON, IAN A.;SMITH, SCOTT F.;TALCOTT, CAROLYN L.Publication type:Article