Pseudo-Distributive Laws and a Unified Framework for Variable Binding
暂无分享,去创建一个
[1] Brian Day,et al. , and Ross Street , 2005 .
[2] G. M. Kelly,et al. A universal property of the convolution monoidal structure , 1986 .
[3] Martin Hofmann. Semantical analysis of higher-order abstract syntax , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[4] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.
[5] John Power,et al. Pseudo-distributive laws and axiomatics for variable binding , 2006, High. Order Symb. Comput..
[6] Glynn Winskel,et al. Profunctors, open maps and bisimulation , 2004, Mathematical Structures in Computer Science.
[7] Fabio Gadducci,et al. About permutation algebras, (pre)sheaves and named sets , 2006, High. Order Symb. Comput..
[8] John Power,et al. Pseudo-distributive Laws , 2003, MFPS.
[9] J. Adámek,et al. Locally presentable and accessible categories , 1994 .
[10] G. M. Kelly. An abstract approach to coherence , 1972 .
[11] Glynn Winskel,et al. Presheaf Models for the pi-Calculus , 1997 .
[12] John Power,et al. A unified category theoretic approach to variable binding , 2003, MERLIN '03.
[13] John Power,et al. A unified category-theoretic approach to substitution in substructural logics , 2004 .
[14] Roberto M. Amadio,et al. Domains and Lambda-Calculi: The Language PCF , 1998 .
[15] Furio Honsell,et al. pi-calculus in (Co)inductive-type theory , 2001, Theor. Comput. Sci..
[16] Marcelo P. Fiore,et al. Semantic analysis of normalisation by evaluation for typed lambda calculus , 2002, PPDP '02.
[17] I. Moerdijk,et al. Sheaves in geometry and logic: a first introduction to topos theory , 1992 .
[18] G. M. Kelly,et al. Two-dimensional monad theory , 1989 .
[19] Furio Honsell,et al. A framework for defining logics , 1993, JACM.
[20] Miki Tanaka. Abstract Syntax and Variable Binding for Linear Binders , 2000, MFCS.
[21] Thomas Sudkamp,et al. Languages and Machines , 1988 .
[22] John Power. Enriched Lawvere Theories , .
[23] A Representation Result for Free Cocompletions , 1998 .
[24] Fabio Gadducci,et al. About permutation algebras and sheaves (and named sets, too!) , 2003 .
[25] Frank Pfenning,et al. Primitive recursion for higher-order abstract syntax , 1997, Theoretical Computer Science.
[26] Glynn Winskel,et al. Presheaf Models for the pi-Calculus , 1997, Category Theory and Computer Science.
[27] John Power,et al. Symmetric monoidal sketches , 2000, PPDP '00.
[28] A. Joyal. Foncteurs analytiques et espèces de structures , 1986 .
[29] R. V. Book. Algol-like Languages , 1997, Progress in Theoretical Computer Science.
[30] Peter W. O'Hearn,et al. Possible worlds and resources: the semantics of BI , 2004, Theor. Comput. Sci..
[31] A. Kock. Monads on symmetric monoidal closed categories , 1970 .
[32] Ross Street,et al. Coherence of tricategories , 1995 .
[33] P. Freyd,et al. On the size of categories. , 1995 .
[34] Glynn Winskel,et al. Weak bisimulation and open maps , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[35] Neil Immerman,et al. On the Unusual Effectiveness of Logic in Computer Science , 2001, Bulletin of Symbolic Logic.
[36] J. Davenport. Editor , 1960 .
[37] F. Marmolejo,et al. Distributive laws for pseudomonads. , 1999 .
[38] G. M. Kelly. Coherence theorems for lax algebras and for distributive laws , 1974 .
[39] Daniele Turi,et al. Semantics of name and value passing , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[40] Andrew M. Pitts,et al. A First Order Theory of Names and Binding , 2001 .
[41] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[42] David J. Pym,et al. The semantics and proof theory of the logic of bunched implications , 2002, Applied logic series.
[43] Andrew D. Gordon,et al. Five Axioms of Alpha-Conversion , 1996, TPHOLs.
[44] Andrew M. Pitts,et al. A new approach to abstract syntax involving binders , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[45] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[46] B. Day. On closed categories of functors , 1970 .
[47] Editors , 1986, Brain Research Bulletin.
[48] G. M. Kelly. Applications of Categories in Computer Science: On clubs and data-type constructors , 1992 .
[49] G. M. Kelly. Many-variable functorial calculus. I. , 1972 .
[50] Robert D. Tennent,et al. Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.
[51] Fabio Gadducci,et al. Some Characterization Results for Permutation Algebras , 2004, Electron. Notes Theor. Comput. Sci..
[52] A. Power,et al. A 2-categorical pasting theorem , 1990 .
[53] Gordon D. Plotkin,et al. Abstract syntax and variable binding , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[54] Berndt Farwer,et al. ω-automata , 2002 .
[55] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.
[56] A. Joyal. Une théorie combinatoire des séries formelles , 1981 .
[57] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[58] de Ng Dick Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem , 1972 .
[59] Marino Miculan,et al. A framework for typed HOAS and semantics , 2003, PPDP '03.
[60] Eugenio Moggi,et al. Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[61] G. M. Kelly,et al. On MacLane's conditions for coherence of natural associativities, commutativities, etc. , 1964 .
[62] R. Street,et al. Review of the elements of 2-categories , 1974 .
[63] Frank Pfenning,et al. Higher-order abstract syntax , 1988, PLDI '88.
[64] Dale Miller,et al. Abstract Syntax for Variable Binders: An Overview , 2000, Computational Logic.
[65] David J. Pym,et al. On bunched predicate logic , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[66] Alley Stoughton,et al. Substitution Revisited , 1988, Theor. Comput. Sci..
[67] Gilbert Labelle,et al. Combinatorial species and tree-like structures , 1997, Encyclopedia of mathematics and its applications.
[68] Peter W. O'Hearn,et al. Algol-like Languages , 1997, Progress in Theoretical Computer Science.
[69] J. Benabou. Introduction to bicategories , 1967 .