Journal: Archive of Formal Proofs

Publisher

SourceForge

ISSN

2150-914X

Show all metadata

Search Results

Publications 1 - 10 of 19

CryptHOL
Lochbihler, Andreas (2017)
Archive of Formal Proofs
Bounded Natural Functors with Covariance and Contravariance
Lochbihler, Andreas; Schneider, Joshua (2018)
Archive of Formal Proofs
Applicative Lifting
Lochbihler, Andreas; Schneider, Joshua (2015)
Archive of Formal Proofs
Consensus Refined
Marić, Ognjen; Sprenger, Christoph (2015)
Archive of Formal Proofs
Monad normalisation
Schneider, Joshua; Eberl, Manuel; Lochbihler, Andreas (2017)
Archive of Formal Proofs
Constructive Cryptography in HOL
Lochbihler, Andreas; Sefidgar, S. Reza (2018)
Archive of Formal Proofs
A Zoo of Probabilistic Systems
Hölzl, Johannes; Lochbihler, Andreas; Traytel, Dmitriy (2015)
Archive of Formal Proofs
Game-based cryptography in HOL
Lochbihler, Andreas; Sefidgar, S. Reza; Bhatt, Bhargav (2017)
Archive of Formal Proofs
Light-weight Containers
Lochbihler, Andreas (2013)
Archive of Formal Proofs
Probabilistic while loop
Lochbihler, Andreas (2017)
Archive of Formal Proofs

Publications 1 - 10 of 19