Published July 11, 2025 | Version v5
Software Open

Normalization by Evaluation for Non-cumulativity (Artifact)

Authors/Creators

Files

README.md

Files (3.4 GB)

Name Size Download all
md5:9b68b052b27211cd1b6dc1ce7534939d
3.4 GB Preview Download
md5:527dc6cad772ccb187d5bfe5af738204
18.7 kB Download
md5:31f6c3a235d90985164c9f69dbda176b
2.3 MB Preview Download
md5:53df3d312089a41234fc1c869aba8c87
5.2 kB Preview Download

Additional details

Related works

Is supplement to
Software: 10.1145/3747508 (DOI)

Software

Repository URL
https://github.com/jiangsy/mech-type-theories