Relational parametricity and quotient preservation for modular (co)datatypes

DOI10.1007/978-3-319-94821-8_24OpenAlexW2810620620MaRDI QIDQ1791181

Joshua Schneider, Andreas Lochbihler

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_24

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Quotients of Bounded Natural Functors ⋮ Unnamed Item

Uses Software

• Coq
• Dafny
• Isabelle/HOL
• PVS
• Lean
• Fiat
• CryptHOL

This page was built for publication: Relational parametricity and quotient preservation for modular (co)datatypes