Contact DMCA Privacy

Robuta

https://arxiv.org/abs/2304.10343
[2304.10343] Towards coherence theorems for equational extensions of type theories
Abstract page for arXiv paper 2304.10343: Towards coherence theorems for equational extensions of type theories
towardscoherencetheoremsequationalextensions
https://dblp.org/rec/journals/pacmpl/GancherSFSM23.html
dblp: A Core Calculus for Equational Proofs of Cryptographic Protocols.
Bibliographic details on A Core Calculus for Equational Proofs of Cryptographic Protocols.
cryptographic protocolsdblpcorecalculusequational
https://easychair.org/smart-slide/slide/9wzb
Efficient encodings of first-order Horn formulas in equational logic
first orderequational logicefficientencodingshorn