There is a newer version of the record available.

Published November 3, 2023 | Version v1
Software Open

Nominal Recursors as Epi-Recurors (Mechanized Proofs Artifact)

Creators

  • 1. ROR icon University of Sheffield

Description

This is the Isabelle mechanization associated to the POPL 2024 conditionally accepted paper "Nominal Recursors as Epi-Recursors".  The formal proofs are located in the archive isabelle_nominal_recursors_and_corecursors.zip . They can be processed with Isabelle2023, available for download from https://isabelle.in.tum.de/ . A version packaged for macOS installation downloaded from that website, Isabelle2023_macos.tar.gz , is also included. 

Files

isabelle_nominal_recursors_and_corecursors.zip

Files (920.2 MB)

Name Size Download all
md5:f36a9d896803b8a34a01450c0dfd0186
918.6 MB Download
md5:90bddf9ea0d5e7ba3cfb6b02ee1b3ab2
1.6 MB Preview Download

Additional details

Funding

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) EP/X015114/1
Engineering and Physical Sciences Research Council