BibTeX
CSL-JSON
MLA
Harvard
Lambda Definability with Sums via Grothendieck Logical Relations
release_es7yckuxgfdq7hsat5bieihnsm
by
Marcelo Fiore, Alex Simpson
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
Stage
Year 1999
chapter
Stage
published
Year 1999
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar