Skip to content

TYPES 2021

  • About
  • Post-Proceedings TYPES 2021
    • Post-Proceedings Call
  • Registration
  • Programme
    • Programme
    • Accepted Contributions
  • Call for Contributions
  • Contact
  • Privacy Policy

Category: Proof Assistants Use

Towards Automation for Iris

Ike Mulder and Robbert Krebbers

The Agda Universal Algebra Library and Birkhoff’s Theorem in Dependent Type Theory

William DeMeo

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Cătălin Hritcu, Kenji Maillard, and Bas Spitters

Modelling Smart Contracts of Bitcoin in Agda

Anton Setzer and Bogdan Gabriel Lazar

A Formal Theory of Games of Incomplete Information

Hélène Fargier, Érik Martin-Dorel, and Pierre Pomeret-Coquot

Search

TYPES 2021

This website is maintained by Henning Basold and hosted by the Leiden Institute of Advanced Computer Science.

© 2025 TYPES 2021 | Privacy Policy | Proudly powered by WordPress