A multiple-conclusion meta-logic
暂无分享,去创建一个
[1] Frank Pfenning,et al. Elf: a language for logic definition and verified metaprogramming , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[2] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[3] Dale Miller,et al. A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..
[4] John Hannan,et al. Extended natural semantics , 1993, Journal of Functional Programming.
[5] D. Walker,et al. A Calculus of Mobile Processes, Part I , 1989 .
[6] Rod M. Burstall,et al. A Natural Deduction treatment of Operational Semantics , 1988, FSTTCS.
[7] Dale Miller,et al. Lexical Scoping as Universal Quantification , 1989, ICLP.
[8] JEAN-MARC ANDREOLI,et al. Logic Programming with Focusing Proofs in Linear Logic , 1992, J. Log. Comput..
[9] Furio Honsell,et al. A framework for defining logics , 1993, JACM.
[10] Paul Tarau,et al. Program Transformations and WAM-Support for the Compilation of Definite Metaprograms , 1990, RCLP.
[11] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..
[12] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[13] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[14] Gerhard Gentzen,et al. Investigations into Logical Deduction , 1970 .
[15] Dale Miller,et al. Logic Programming in a Fragment of Intuitionistic Linear Logic , 1994, Inf. Comput..
[16] Dale Miller. The pi-Calculus as a Theory in Linear Logic: Preliminary Results , 1992, ELP.
[17] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.