We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
This paper defines a sound and complete semantic criterion, based onreducibility candidates, for strong normalization of theories expressed inminimal deduction modulo \`a la Curry. The use of Curry-style proof-termsallows to build this criterion on the classic notion of pre-Heyting algebrasand makes that criterion concern all theories expressed in minimal deductionmodulo. Compared to using Church-style proof-terms, this method provides both asimpler definition of the criterion and a simpler proof of its completeness.Comment: 24 page
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.