Lambda Definability with Sums via Grothendieck Logical Relations release_es7yckuxgfdq7hsat5bieihnsm

by Marcelo Fiore, Alex Simpson

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

1999   p147-161

Archived Files and Locations

application/pdf  420.5 kB
file_6toafzi7uvcm5gzjnarmt74b5a
web.archive.org (webarchive)
www.research.ed.ac.uk (web)
application/pdf  431.6 kB
file_qni4ebqryzhvze3ch77dnqknkq
www.pure.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  431.6 kB
file_f7poidtv6ffunlzaf2s3nstdcu
web.archive.org (webarchive)
www.research.ed.ac.uk (web)
application/pdf  271.1 kB
file_lhdc6uv5ordjhn3hsjcdoguwti
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1999
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ddcfbc17-110e-4a18-8db4-84db19d7d790
API URL: JSON