An Analysis of Girard's Paradox (1986)
by
Thierry Coquand
| Venue: | In Symposium on Logic in Computer Science |
| Citations: | 58 - 2 self |
BibTeX
@INPROCEEDINGS{Coquand86ananalysis,
author = {Thierry Coquand},
title = {An Analysis of Girard's Paradox},
booktitle = {In Symposium on Logic in Computer Science},
year = {1986},
pages = {227--236},
publisher = {IEEE Computer Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this article is to present applications of the Burali-Forti paradox to some formal systems. The first such application is due to J.Y. Girard, who showed
Citations
| 997 | The Lambda Calculus: its Syntax and Semantics - Barendregt - 1984 |
| 2 | and B.Lampson. "A kernel language for abstract data types and modules - Burstall |
| 1 | A type-free look at types as parameters" Universita' di - Amadio, Longo - 1985 |
