Bounded quantifiers have interval models
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Relating models of polymorphism
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Axiomatizing Fully Complete Models for ML Polymorphic Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
The Girard-Reynolds Isomorphism
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Girard--Reynolds isomorphism
Information and Computation - TACS 2001
A theory of classes: proofs and models
Mathematical Structures in Computer Science
Categorical properties of logical frameworks
Mathematical Structures in Computer Science
Realizability models for BLL-like languages
Theoretical Computer Science - Implicit computational complexity
Categorical models for Abadi and Plotkin's logic for parametricity
Mathematical Structures in Computer Science
The Girard—Reynolds isomorphism (second edition)
Theoretical Computer Science
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
A game semantics for generic polymorphism
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
A new model construction for the polymorphic lambda calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Game semantics for call-by-value polymorphism
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Realizability models and implicit complexity
Theoretical Computer Science
Game semantics for a polymorphic programming language
Journal of the ACM (JACM)
From parametricity to conservation laws, via Noether's theorem
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |