Show simple item record

dc.contributor.author
Lochbihler, Andreas
dc.contributor.author
Schneider, Joshua
dc.contributor.editor
Avigad, Jeremy
dc.contributor.editor
Mahboubi, Assia
dc.date.accessioned
2018-12-10T11:38:34Z
dc.date.available
2018-07-16T09:17:04Z
dc.date.available
2018-07-20T14:24:24Z
dc.date.available
2018-07-20T14:28:36Z
dc.date.available
2018-12-10T11:38:34Z
dc.date.issued
2018
dc.identifier.isbn
9783319948201
en_US
dc.identifier.isbn
9783319948218
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-94821-8_24
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/275906
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.title
Relational Parametricity and Quotient Preservation for Modular (Co)datatypes
en_US
dc.type
Conference Paper
ethz.book.title
Interactive Theorem Proving: 9th International Conference, ITP 2018, Oxford, UK, July 9-12, 2018, Proceedings
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
10895
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
411
en_US
ethz.pages.end
431
en_US
ethz.event
9th International Conference on Interactive Theorem Proving (ITP 2018)
en_US
ethz.event.location
Oxford, United Kingdom
ethz.event.date
July 9-12, 2018
en_US
ethz.publication.place
Cham
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.relation.cites
handle/20.500.11850/275916
ethz.date.deposited
2018-07-16T09:17:05Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-07-20T14:24:29Z
ethz.rosetta.lastUpdated
2024-02-02T06:48:06Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Relational%20Parametricity%20and%20Quotient%20Preservation%20for%20Modular%20(Co)datatypes&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2018&rft.volume=10895&rft.spage=411&rft.epage=431&rft.issn=0302-9743&1611-3349&rft.au=Lochbihler,%20Andreas&Schneider,%20Joshua&rft.isbn=9783319948201&9783319948218&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-94821-8_24&rft.btitle=Interactive%20Theorem%20Proving:%209th%20International%20Conference,%20ITP%202018,%20Oxford,%20UK,%20July%209-12,%202018,%20Proceedings
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record