论文信息 - Light Logics and Higher-Order Processes - 字舞流文

Light Logics and Higher-Order Processes

Ugo Dal Lago | Davide Sangiorgi | Simone Martini

[1] Davide Sangiorgi,et al. A Hybrid Type System for Lock-Freedom of Mobile Processes , 2008, CAV.

[2] Davide Sangiorgi,et al. Termination in Impure Concurrent Languages , 2010, CONCUR.

[3] Roberto Amadio,et al. Feasible reactivity in a synchronous pi-calculus , 2007 .

[4] Yves Lafont,et al. Soft linear logic and polynomial time , 2004, Theor. Comput. Sci..

[5] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .

[6] Thomas Ehrhard,et al. Differential Interaction Nets , 2005, WoLLIC.

[7] Davide Sangiorgi,et al. Termination in higher-order concurrent calculi , 2009, J. Log. Algebraic Methods Program..

[8] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .

[9] Nobuko Yoshida,et al. Strong normalisation in the pi -calculus , 2004, Inf. Comput..

[10] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..

[11] Philip Wadler,et al. A Syntax for Linear Logic , 1993, MFPS.

[12] Jean-Yves Girard,et al. Light Linear Logic , 1998, Inf. Comput..

[13] Andrea Asperti,et al. Intuitionistic Light Affine Logic , 2002, TOCL.

[14] Ugo Dal Lago,et al. Taming Modal Impredicativity: Superlazy Reduction , 2009, LFCS.

[15] Thomas Ehrhard,et al. Acyclic Solos and Differential Interaction Nets , 2010, Log. Methods Comput. Sci..

[16] Michael Mendler,et al. The NASA STI Program Office provides , 2000 .