Skip to main content
Conference Proceedings

Lambda denability with sums via grothendieck logical relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1999) 1581 147-161
DOI: 10.1007/3-540-48959-2_12
16Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We introduce a notion of Grothendieck logical relation and use it to characterise the denability of morphisms in stable bicartesian closed categories by terms of the simply-typed lambda calculus with nite products and nite sums. Our techniques are based on concepts from topos theory, however our exposition is elementary.

Cite

CITATION STYLE

APA

Fiore, M., & Simpson, A. (1999). Lambda denability with sums via grothendieck logical relations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1581, pp. 147–161). Springer Verlag. https://doi.org/10.1007/3-540-48959-2_12

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free