Witnessing (Co)datatypes

DOI10.1007/978-3-662-46669-8_15zbMATH Open1335.68224OpenAlexW2183882274MaRDI QIDQ2802441FDOQ2802441

Andrei Popescu, Jasmin Christian Blanchette, Dmitriy Traytel

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01212587/file/wit.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (4)

• A Formalized Hierarchy of Probabilistic System Types
• Friends with Benefits
• Title not available (Why is that?)
• A decision procedure for (co)datatypes in SMT solvers

Uses Software

• Isabelle/HOL
• CIRC
• ProofPower
• HOL Light

This page was built for publication: Witnessing (Co)datatypes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802441)