Parametricity via Cohesion

C. B. Aberlé

Type: Article

Publication Date: 2024-12-11

Citations: 0

DOI: https://doi.org/10.46298/entics.14710

View Publication

Locations

arXiv (Cornell University) - View - PDF
Electronic Notes in Theoretical Informatics and Computer Science - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Parametricity via Cohesion	2024	C. B. Aberlé
+	Higher Inductive Types and Internal Parametricity for Cubical Type Theory	2021	Evan Cavallo
+	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules	2020	Jonathan Sterling Robert Harper
+ PDF Chat	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules	2021	Jonathan Sterling Robert Harper
+ PDF Chat	Parametricity for Nested Types and GADTs	2021	Patricia Johann Enrico Ghiorzi
+	Parametric Cubical Type Theory	2019	Evan Cavallo Robert Harper
+	Parametricity for Nested Types and GADTs.	2021	Patricia Johann Enrico Ghiorzi Daniel Jeffries
+ PDF Chat	Internal Parametricity for Cubical Type Theory	2021	Evan Cavallo Robert Harper
+	Internal Parametricity for Cubical Type Theory	2020	Evan Cavallo Robert Harper
+ PDF Chat	Multimodal Dependent Type Theory	2021	Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal
+	Multimodal Dependent Type Theory	2020	Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal
+	Multimodal Dependent Type Theory	2020	Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal
+	Paranatural Category Theory	2023	J. v. Neumann
+	A General Framework for Relational Parametricity	2018	Kristina Sojakova Patricia Johann
+	A General Framework for Relational Parametricity	2018	Kristina Sojakova Patricia Johann
+	Internal Parametricity for Cubical Type Theory	2020	Evan Cavallo Robert Harper
+	Parametricity in an Impredicative Sort	2012	Chantal Keller Marc Lasson
+	Computational Higher Type Theory IV: Inductive Types	2018	Evan Cavallo Robert Harper
+ PDF Chat	Modalities, cohesion, and information flow	2019	G. A. Kavvos
+	Transpension: The Right Adjoint to the Pi-type	2020	Andreas Nuyts Dominique Devriese

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (10)

Action	Title	Year	Authors
+	Homotopy Type Theory: Univalent Foundations of Mathematics	2013	Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster
+	Categories of spaces may not be generalized spaces as exemplified by directed graphs	1986	F. William Lawvere
+ PDF Chat	Cubical Type Theory: a constructive interpretation of the univalence axiom	2015	Cyril Cohen Thierry Coquand Simon Huber Anders Mörtberg
+	A type theory for synthetic ∞-categories	2017	Emily Riehl Michael Shulman
+	Impredicative Encodings of (Higher) Inductive Types	2018	Steve Awodey Jonas Frey Sam Speight
+ PDF Chat	Brouwer's fixed-point theorem in real-cohesive homotopy type theory	2017	Michael Shulman
+	Internal Parametricity for Cubical Type Theory	2020	Evan Cavallo Robert Harper
+ PDF Chat	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules	2021	Jonathan Sterling Robert Harper
+ PDF Chat	Syntax and models of Cartesian cubical type theory	2021	Carlo Angiuli Guillaume Brunerie Thierry Coquand Robert Harper Kuen-Bang Hou Daniel R. Licata
+	Displayed Type Theory and Semi-Simplicial Types	2023	Astra Kolomatskaia Michael Shulman