Author:
Jiang Ying,Zhang Guo-Qiang
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Milner R. Fully abstract models of typed λ-calculi. Theoretical Computer Science, 1977, 4: 1–22
2. Berry G. Modèles complètement adéquats et stables des lambdacalculs typés. Thèse de Doctorat d’Etat, Université Paris VII, 1979
3. Girard J Y. Linear logic. Theoretical Computer Science, 1987, 50: 1–102
4. Winskel G. An introduction to event structures. Lecture Notes in Computer Science, 1988, 354: 364–399
5. Coquand T, Gunter C A, Winskel G. DI-domains as a model of polymorphism. Lecture Notes in Computer Science, 1987, 298: 344–363