Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2013.09.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1986464815
@@ Property / OpenAlex ID: W1986464815 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317967
@@ Property / Wikidata QID: Q113317967 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+A dependent nominal type theory
@@ Property / cites work: A dependent nominal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Binding in Nominal Equational Logic
@@ Property / cites work: Binding in Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Lawvere Theories
@@ Property / cites work: Nominal Lawvere Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Lawvere theories: a category theoretic account of equational theories with names
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On fixpoint objects and gluing constructions
@@ Property / cites work: On fixpoint objects and gluing constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Alpha equivalence equalities
@@ Property / cites work: Alpha equivalence equalities / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal lambda calculus: an internal language for FM-Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Adding Equations to System F Types
@@ Property / cites work: Adding Equations to System F Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculus and type theory formalized
@@ Property / cites work: Some lambda calculus and type theory formalized / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Structural recursion with locally scoped names
@@ Property / cites work: Structural recursion with locally scoped names / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753183
@@ Property / cites work: Q2753183 / rank @@
+Normal rank
@@ Property / cites work @@
+Independence results for calculi of dependent types
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke logical relation for effect-based program transformations
+Normal rank