Higher-Order Action Calculi
暂无分享,去创建一个
[1] Andrew M. Pitts,et al. Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? , 1993, MFCS.
[2] Martín Abadi,et al. Explicit substitutions , 1989, POPL '90.
[3] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[4] John G. Sanderson. Types and structures , 1980 .
[5] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .
[6] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[7] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[8] Robin Milner. Action Calculi, or Syntactic Action Structures , 1993, MFCS.
[9] Davide Sangiorgi,et al. Expressing mobility in process algebras : first-order and higher-order paradigms , 1993 .
[10] Eike Ritter,et al. Normalization for Typed Lambda Calculi with Explicit Substitution , 1993, CSL.
[11] Cosimo Laneve,et al. Interaction Systems , 1993, HOA.
[12] Robert D. Tennent,et al. Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..