Search results
From MaRDI portal
- Publication Type A Computational Interpretation of Parametricity 2017-05-16 Paper A presheaf model of parametric type theory 2016-12-16 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 15:30, 6 October 2023
- Publication Date of Publication Type Translating dependency into parametricity 2015-03-09 Paper https://portal.mardi4nfdi.de/entity/Q5447364 2008-03-06...10 bytes (16 words) - 21:49, 26 December 2023
- subtyping as entailment 2000-10-03 Paper The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus 1994-03-03 Paper...10 bytes (16 words) - 14:54, 24 September 2023
- phase field approach to trabecular bone remodeling 2017-11-20 Paper Parametricity for Haskell with Imprecise Error Semantics 2009-07-07 Paper...10 bytes (16 words) - 10:24, 25 September 2023
- HoTT reals coincide with the Escard\'o-Simpson reals 2017-06-19 Paper Parametricity, automorphisms of the universe, and excluded middle 2017-01-19 Paper...10 bytes (18 words) - 11:05, 5 September 2024
- Categories of Possible Worlds 2016-05-10 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (16 words) - 16:31, 8 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5028445 2022-02-09 Paper Parametricity for primitive nested types 2021-10-18 Paper Complete internal categories...10 bytes (16 words) - 08:58, 25 September 2023
- Computation Programming Languages and Distributed Computation 2009-08-11 Paper Parametricity for Haskell with Imprecise Error Semantics 2009-07-07 Paper A family...10 bytes (16 words) - 10:58, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4364388 1998-03-15 Paper Parametricity and local variables 1998-01-28 Paper Semantical analysis of specification...10 bytes (18 words) - 21:23, 11 December 2023
- Paper Fast machine words in Isabelle/HOL 2018-10-04 Paper Relational parametricity and quotient preservation for modular (co)datatypes 2018-10-04 Paper...10 bytes (16 words) - 05:59, 13 December 2023
- Publication Date of Publication Type Internal Parametricity for Cubical Type Theory 2023-02-07 Paper Unifying Cubical Models of Univalent Type Theory 2023-02-07...10 bytes (16 words) - 23:10, 27 December 2023
- Publication Type Internal Parametricity for Cubical Type Theory 2023-02-07 Paper Logical Relations as Types: Proof-Relevant Parametricity for Program Modules...10 bytes (17 words) - 20:33, 6 October 2023
- Manually Managed Memory, and Proofs 2022-11-09 Paper Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac}...10 bytes (16 words) - 19:42, 24 September 2023
- Homotopy Type Theory 2021-01-21 Paper A General Framework for Relational Parametricity 2021-01-20 Paper Homotopy-Initial Algebras in Type Theory 2018-08-02...10 bytes (16 words) - 12:24, 7 October 2023
- Paper Adaptive Online First-Order Monitoring 2020-07-20 Paper Relational parametricity and quotient preservation for modular (co)datatypes 2018-10-04 Paper...10 bytes (17 words) - 17:54, 24 September 2023
- Elliptic Curves 2021-06-04 Paper A new notation for arrows 2015-03-09 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper...10 bytes (17 words) - 13:49, 24 September 2023
- Paper Semi-parametric estimation of incubation and generation times by means of Laguerre polynomials 2022-09-23 Paper A New Test for the Parametric Form of...10 bytes (19 words) - 02:19, 9 December 2023
- Publication Date of Publication Type Parametricity of extensionally collapsed term models of polymorphism and their categorical properties 2022-08-16 Paper...10 bytes (16 words) - 11:03, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2980980 2017-05-08 Paper Parametricity, automorphisms of the universe, and excluded middle 2017-01-19 Paper...10 bytes (18 words) - 17:35, 7 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4536296 2002-11-28 Paper Parametricity and variants of Girard's \(J\) operator 2002-07-25 Paper Finite-state...10 bytes (18 words) - 01:56, 10 December 2023
