Resource-oriented Programming Based on Linear Logic
暂无分享,去创建一个
[1] J. Girard,et al. Proofs and types , 1989 .
[2] Jean-Marc Andreoli. Proposition pour une synthese des paradigmes de la programmation logique et de la programmation par objets , 1990 .
[3] Dale Miller,et al. Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[4] Samson Abramsky,et al. Computational Interpretations of Linear Logic , 1993, Theor. Comput. Sci..
[5] Ian Mackie,et al. Lilac: a functional programming language based on linear logic , 1994, Journal of Functional Programming.
[6] N. Kobayashi,et al. Typed Higher-Order Concurrent Linear Logic Programming , 1994 .
[7] Jean-Yves Girard,et al. Linear logic: its syntax and semantics , 1995 .
[8] Jean-Yves Girard,et al. On the meaning of logical rules I: syntax vs. semantics , 1998 .
[9] Martin Hyland,et al. Designs, Disputes and Strategies , 2002, CSL.
[10] Paul Curzon,et al. On Intuitionistic Linear Logic , 2005 .
[11] Valerie NOVITZKÁ,et al. LINEAR LOGICAL REASONING ON PROGRAMMING , 2006 .
[12] Michael Winikoff,et al. Logic Programming with Linear Logic , 2007 .