Parametricity

#	Item
31	Notes on Takeuti’s Parametricity Logic and Wadler’s Girard-Reynolds Isomorphism Kevin Watkins Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-04-20 11:45:53 Predicate logic Formal languages Computability theory Lambda calculus Theoretical computer science Function Formation rule Constructible universe Type theory Logic Mathematics Mathematical logic
32	Categorical and domain theoretic models of parametric polymorphism Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-10-19 09:09:07 Programming language theory Polymorphism Parametric polymorphism Parametricity Ad-hoc polymorphism System F ML Type system Function type Software engineering Type theory Computing
33	On monadic parametricity of second-order functionals Andrej Bauer1 , Martin Hofmann2 , and Aleksandr Karbyshev3 Add to Reading List Source URL: www2.in.tum.de Language: English - Date: 2013-01-08 11:29:00 Computing Monad Kleisli category Map Adjoint functors Software engineering Computer programming