A Rewrite System for Proof Constructivization

Saved in:
Bibliographic Details
Published inProceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Format Conference Proceeding
LanguageEnglish
Online AccessGet full text
DOI10.1145/2966268.2966270

Cover

More Information
DOI:10.1145/2966268.2966270