The system F of variable types, fifteen years later

Theoretical Computer Science

Volumn 45, Issue C, 1986, Pages 159-192

  Girard, Jean Yves ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000604168     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(86)90044-7     Document Type: Review

References (10)

1. Modèles complètement adéquats et stables des λ-calcul typés
2. Une théorie des constructions
3. Une extension de l'interpretation fonctionnelle de Gödel à l'analyse et son application à l'élimination des coupures dans l'analyse et la théorie des types
4. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur
5. Quelques résultats sur les interprétations fonctionnelles
6. Polymorphism is not set-theoretic
7. Domains for denotational semantics
8. Notes on intuitionistic second order arithmetic
9. Events in computation