A Formalized Hierarchy of Probabilistic System Types: Proof Pearl
dc.contributor.author
Hölzl, Johannes
dc.contributor.author
Lochbihler, Andreas
dc.contributor.author
Traytel, Dmitriy
dc.contributor.editor
Urban, Christian
dc.contributor.editor
Zhang, Xingyuan
dc.date.accessioned
2017-06-11T20:24:35Z
dc.date.available
2017-06-11T20:24:35Z
dc.date.issued
2015
dc.identifier.isbn
978-3-319-22101-4
dc.identifier.isbn
978-3-319-22102-1
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-22102-1_13
dc.identifier.uri
http://hdl.handle.net/20.500.11850/106034
dc.language.iso
en
dc.publisher
Springer
dc.title
A Formalized Hierarchy of Probabilistic System Types: Proof Pearl
dc.type
Conference Paper
ethz.book.title
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
9236
ethz.journal.abbreviated
LNCS
ethz.pages.start
203
ethz.pages.end
220
ethz.event
6th International Conference on Interactive Theorem Proving, ITP 2015
ethz.event.location
Nanjing, China
ethz.event.date
August 24-27, 2015
ethz.identifier.scopus
ethz.identifier.nebis
010516720
ethz.publication.place
Cham
ethz.publication.status
published
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
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
ethz.date.deposited
2017-06-11T20:24:43Z
ethz.source
ECIT
ethz.identifier.importid
imp5936539eb4d4282411
ethz.ecitpid
pub:165982
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T04:56:42Z
ethz.rosetta.lastUpdated
2022-03-28T14:13:49Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Formalized%20Hierarchy%20of%20Probabilistic%20System%20Types:%20Proof%20Pearl&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2015&rft.volume=9236&rft.spage=203&rft.epage=220&rft.issn=0302-9743&1611-3349&rft.au=H%C3%B6lzl,%20Johannes&Lochbihler,%20Andreas&Traytel,%20Dmitriy&rft.isbn=978-3-319-22101-4&978-3-319-22102-1&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-319-22102-1_13&rft.btitle=Interactive%20Theorem%20Proving:%206th%20International%20Conference,%20ITP%202015,%20Nanjing,%20China,%20August%2024-27,%202015,%20Proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34961]