Nominal Equational Logic (Q2864152): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Completeness and Herbrand theorems for nominal logic
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813224
@@ Property / cites work: Q4813224 / rank @@
+Normal rank
@@ Property / cites work @@
+Fresh logic: Proof-theory and semantics for FM and nominal techniques
+Normal rank
@@ Property / cites work @@
+One-and-a-halfth-order Logic
@@ Property / cites work: One-and-a-halfth-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Alpha-structural recursion and induction
@@ Property / cites work: Alpha-structural recursion and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on algebra: Monadicity and generalisations of equational theories
+Normal rank
@@ Property / cites work @@
+On the algebraic models of lambda calculus
@@ Property / cites work: On the algebraic models of lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Substitution revisited
@@ Property / cites work: Substitution revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank