Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert D. Tennent
Parametricity and Local Variables
Related publications
Set Variables and Local Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Local Instrumental Variables
A Computational Interpretation of Parametricity
Simple Noninterference From Parametricity
Proceedings of the ACM on Programming Languages
A General Framework for Relational Parametricity
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recursive Polymorphic Types and Parametricity in an Operational Framework
Local Invariance Principle for Independent and Identically Distributed Random Variables
Теория вероятностей и ее применения
