Q5109521 (Q5109521): Difference between revisions

@@ Property / describes a project that uses @@
+CoqHammer
@@ Property / describes a project that uses: CoqHammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+PARTIAL ORDER INFINITARY TERM REWRITING AND BÖHM TREES
+Normal rank
@@ Property / cites work @@
+Partial Order Infinitary Term Rewriting
@@ Property / cites work: Partial Order Infinitary Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993334
@@ Property / cites work: Q4993334 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of infinitary lambda calculus
@@ Property / cites work: Applications of infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+On streams that are finitely red
@@ Property / cites work: On streams that are finitely red / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417200
@@ Property / cites work: Q5417200 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coinductive Confluence Proof for Infinitary Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+A Semantic Approach to Illative Combinatory Logic
@@ Property / cites work: A Semantic Approach to Illative Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of nearly orthogonal infinitary term rewriting systems
+Normal rank
@@ Property / cites work @@
+Hammer for Coq: automation for dependent type theory
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277876
@@ Property / cites work: Q5277876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4600775
@@ Property / cites work: Q4600775 / rank @@
+Normal rank
@@ Property / cites work @@
+Highlights in infinitary rewriting and lambda calculus
+Normal rank
@@ Property / cites work @@
+Q2957694
@@ Property / cites work: Q2957694 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to (co)algebra and (co)induction
@@ Property / cites work: An introduction to (co)algebra and (co)induction / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of the coinductive \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4834480
@@ Property / cites work: Q4834480 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Q4259973
@@ Property / cites work: Q4259973 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary Combinatory Reduction Systems: Confluence
+Normal rank
@@ Property / cites work @@
+Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
+Normal rank
@@ Property / cites work @@
+Infinitary combinatory reduction systems
@@ Property / cites work: Infinitary combinatory reduction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012528
@@ Property / cites work: Q3012528 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical coinduction
@@ Property / cites work: Practical coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Nominal Coalgebraic Data Types with Applications to Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Coinductive big-step operational semantics
@@ Property / cites work: Coinductive big-step operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101795
@@ Property / cites work: Q4101795 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808745
@@ Property / cites work: Q4808745 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Q5389089
@@ Property / cites work: Q5389089 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5109521