CHAD for expressive total languages (Q6149934): Difference between revisions

@@ Property / cites work @@
+Least fixed point of a functor
@@ Property / cites work: Least fixed point of a functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent Types and Fibred Computational Effects
@@ Property / cites work: Dependent Types and Fibred Computational Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Containers
@@ Property / cites work: Higher-Order Containers / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701018
@@ Property / cites work: Q5701018 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Versatility of Open Logical Relations
@@ Property / cites work: On the Versatility of Open Logical Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4558473
@@ Property / cites work: Q4558473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703807
@@ Property / cites work: Q2703807 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Q5874204
@@ Property / cites work: Q5874204 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+Adjoint triangles
@@ Property / cites work: Adjoint triangles / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5586462
@@ Property / cites work: Q5586462 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating Derivatives
@@ Property / cites work: Evaluating Derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5094126
@@ Property / cites work: Q5094126 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of automatic differentiation via diffeologies and categorical gluing
+Normal rank
@@ Property / cites work @@
+Proof theory in the abstract
@@ Property / cites work: Proof theory in the abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920081
@@ Property / cites work: Q2920081 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-canonical isomorphisms
@@ Property / cites work: Non-canonical isomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Smooth Manifolds
@@ Property / cites work: Introduction to Smooth Manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Category Theory
@@ Property / cites work: Basic Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On lifting of biadjoints and lax algebras
@@ Property / cites work: On lifting of biadjoints and lax algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudoalgebras and non-canonical isomorphisms
@@ Property / cites work: Pseudoalgebras and non-canonical isomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic factorization and descent
@@ Property / cites work: Semantic factorization and descent / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4464696
@@ Property / cites work: Q4464696 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+Dialectica models of type theory
@@ Property / cites work: Dialectica models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-Bicomplete Categories and Parity Games
@@ Property / cites work: <i>μ</i>-Bicomplete Categories and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse AD at higher types: pure, principled and denotationally correct
+Normal rank
@@ Property / cites work @@
+A simple automatic derivative evaluation program
@@ Property / cites work: A simple automatic derivative evaluation program / rank @@
+Normal rank