Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus-Reference-Cited by-同舟云学术

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus

Published:2006-05 Issue: Volume:155 Page:191-217
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Birkedal Lars,Møgelberg Rasmus E.,Petersen Rasmus L.

Funder

Teknologi og Produktion, Det Frie Forskningsråd

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference27 articles.

1. A. Barber. Linear Type Theories, Semantics and Action Calculi. PhD thesis, Edinburgh University, 1997

2. Operational properties of Lily, a polymorphic linear lambda calculus with recursion;Bierman,2000

3. Categorical models of Abadi-Plotkin's logic for parametricity;Birkedal;Mathematical Structures in Computer Science,2005

4. L. Birkedal, R.E. Møgelberg, and R.L. Petersen. Parametric domain-theoretic models of Linear Abadi-Plotkin Logic. Technical Report TR-2005-57, IT University of Copenhagen, 2005

5. M. Fiore, Axiomatic Domain Theory in Categories of Partial Maps. Distinguished Dissertations in Computer Science. Cambridge University Press, 1996

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From parametric polymorphism to models of polymorphic FPC;Mathematical Structures in Computer Science;2009-08

2. Selective strictness and parametricity in structural operational semantics, inequationally;Theoretical Computer Science;2007-12

3. Domain-theoretical models of parametric polymorphism;Theoretical Computer Science;2007-12

4. On the relations between monadic semantics;Theoretical Computer Science;2007-05

5. Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic;Electronic Notes in Theoretical Computer Science;2006-05