The Discriminating Power of Multiplicities in the Lambda-Calculus
暂无分享,去创建一个
[1] Cosimo Laneve,et al. Termination, deadlock and divergence in the λ-calculus with multiplicities1 1Partially supported by the ESPRIT Basic Research Project 6454 - CONFER. , 1995 .
[2] Davide Sangiorgi,et al. The lazy lambda calculus in a concurrency scenario , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[3] Davide Sangiorgi. The Lazy Lambda Calculus in a Concurrency Scenario , 1994, Inf. Comput..
[4] Gérard Boudol,et al. Lambda-Calculi for (Strict) Parallel Functions , 1994, Inf. Comput..
[5] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.
[6] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[7] Gérard Boudol,et al. The Lambda-Calculus with Multiplicities (Abstract) , 1993, CONCUR.
[8] Christopher P. Wadsworth,et al. The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus , 1976, SIAM J. Comput..
[9] C.-H. Luke Ong. The Lazy Lambda Calculus : an investigation into the foundations of functional programming , 1988 .
[10] C.-H. Luke Ong,et al. Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract) , 1992, ICALP.
[11] Giuseppe Longo,et al. Set-theoretical models of λ-calculus: theories, expansions, isomorphisms , 1983, Ann. Pure Appl. Log..
[12] Cosimo Laneve,et al. The discriminating power of multiplicities in the-calculus , 1996 .
[13] C.-H. Luke Ong,et al. Full Abstraction in the Lazy Lambda Calculus , 1993, Inf. Comput..
[14] Martín Abadi,et al. Explicit substitutions , 1989, POPL '90.
[15] Gérard Boudol,et al. A lambda-calculus for parallel functions , 1990 .
[16] Jean-Jacques Lévy,et al. An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus , 1976, Theor. Comput. Sci..
[17] Robin Milner,et al. Fully Abstract Models of Typed lambda-Calculi , 1977, Theor. Comput. Sci..