A note on logical relations between semantics and syntax. (English)
Log. J. IGPL 5, No.4, 589-601 (1997).
1
Completeness and continuity properties of applicative bisimulation. (English)
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 61 (1995).
2
The lazy lambda calculus in a concurrency scenario. (English)
Inf. Comput. 111, No.1, 120-153 (1994).
3
A fully abstract denotational model for higher-order processes. (English)
Inf. Comput. 112, No.1, 55-95 (1994).
4
Lambda-calculi for (strict) parallel functions. (English)
Inf. Comput. 108, No.1, 51-127 (1994).
5
Start
Contact
Print
General Help
