From Types to Sets ­— Implementation and Examples

The following archive contains implementation of the rules and examples using them. The files work with Isabelle2016. The README file in the archive contains additional description of the content.


The following paper is the extented technical report of the submitted paper. It contains more background theory for the proofs from the submitted paper.

Extented technical report