Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Antonius J. C. Hurkens"'
Autor:
Lawrence S. Moss, Yiannis N. Moschovakis, Monica McArthur, Glen T. Whitney, Antonius J. C. Hurkens
Publikováno v:
The Journal of Symbolic Logic. 63:451-478
We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in “propositional” fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstrac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad83e5c836ad14f807224617b855b2bf
https://doi.org/10.2307/2586843
https://doi.org/10.2307/2586843
Autor:
Antonius J. C. Hurkens
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540590484
TLCA
TLCA
In 1972 J.-Y. Girard showed that the Burali-Forti paradox can be formalised in the type system U. In 1991 Th. Coquand formalised another paradox in U−. The corresponding proof terms (that have no normal form) are large. We present a shorter term of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::572efec9cef556ed844e593f63128135
https://doi.org/10.1007/bfb0014058
https://doi.org/10.1007/bfb0014058
