Search results
From MaRDI portal
- interpretations of predicate logic 2022-04-29 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (18 words) - 15:42, 10 December 2023
- Types 2009-11-12 Paper From parametric polymorphism to models of polymorphic FPC 2009-08-26 Paper Relational Parametricity for Computational Effects 2009-08-20...10 bytes (18 words) - 05:06, 13 December 2023
- 2015-03-05 Paper Recursive type generativity 2015-01-06 Paper Non-parametric parametricity 2015-01-06 Paper The power of parameterization in coinductive proof...10 bytes (18 words) - 12:11, 13 December 2023
- bifibrational parametricity 2019-05-27 Paper Bifibrational functorial semantics of parametric polymorphism 2016-12-16 Paper Proof-Relevant Parametricity 2016-08-17...10 bytes (16 words) - 10:27, 6 October 2023
- 2016-10-24 Paper Decentralizing SDN Policies 2016-09-29 Paper On Monadic Parametricity of Second-Order Functionals 2013-03-18 Paper Verifying a Local Generic...10 bytes (16 words) - 19:18, 13 December 2023
- processes 2016-05-13 Paper Canonicity of weak \(\omega\)-groupoid laws using parametricity theory 2016-05-13 Paper https://portal.mardi4nfdi.de/entity/Q4649560...10 bytes (16 words) - 00:44, 25 September 2023
- 2015-03-30 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper Realizability and Parametricity in Pure Type Systems...10 bytes (18 words) - 00:14, 25 September 2023
- Arrows? 2014-06-27 Paper From parametricity to conservation laws, via Noether's theorem 2014-04-10 Paper A relationally parametric model of dependent type theory...10 bytes (16 words) - 13:22, 7 October 2023
- Non-parametric parametricity 2015-01-06 Paper Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions 2014-05-13 Paper Non-parametric parametricity...10 bytes (17 words) - 15:43, 6 October 2023
- Paper Non-parametric parametricity 2015-01-06 Paper The power of parameterization in coinductive proof 2014-11-27 Paper Non-parametric parametricity 2013-04-24...10 bytes (16 words) - 05:33, 7 October 2023
- 2017-05-19 Paper Comprehensive Parametric Polymorphism: Categorical Models and Type Theory 2016-06-10 Paper Relational Parametricity for Control Considered as...10 bytes (18 words) - 17:19, 11 December 2023
- de/entity/Q5028445 2022-02-09 Paper Parametricity for primitive nested types 2021-10-18 Paper A General Framework for Relational Parametricity 2021-01-20 Paper Deep...10 bytes (16 words) - 09:42, 6 October 2023
- Separation Logic for Higher-Order Store 2008-08-19 Paper Relational Parametricity and Separation Logic 2008-08-07 Paper Relational Reasoning for Recursive...10 bytes (17 words) - 03:23, 9 December 2023
- Publication Date of Publication Type Reification by parametricity -- fast setup for proof by reflection, in two lines of \textsc{Ltac} 2018-10-04 Paper...10 bytes (16 words) - 19:42, 24 September 2023
- Publication Date of Publication Type Parametricity for primitive nested types 2021-10-18 Paper...10 bytes (16 words) - 08:58, 25 September 2023
- Publication Date of Publication Type Parametricity and Semi-Cubical Types 2021-05-18 Paper...10 bytes (17 words) - 11:08, 5 September 2024
- functorial semantics of parametric polymorphism 2016-12-16 Paper Proof-Relevant Parametricity 2016-08-17 Paper Comprehensive Parametric Polymorphism: Categorical...10 bytes (18 words) - 20:33, 6 October 2023
- Paper The essence of Reynolds 2016-08-05 Paper Logical relations and parametricity -- a Reynolds programme for category theory and programming languages...10 bytes (18 words) - 01:41, 10 December 2023
- de/entity/Q5271394 2017-07-11 Paper The Local Universes Model 2017-01-30 Paper Parametricity, automorphisms of the universe, and excluded middle 2017-01-19 Paper...10 bytes (18 words) - 19:38, 13 December 2023
- mardi4nfdi.de/entity/Q4282541 1994-04-17 Paper The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus 1994-03-03 Paper https://portal...10 bytes (18 words) - 17:17, 9 December 2023