Formalizing strong normalization proofs of explicit substitution calculi in ALF

DOI10.1023/A:1022527914293zbMath1019.03007OpenAlexW1597460702MaRDI QIDQ1810858

Fairouz Kamareddine, Haiyan Qiao

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022527914293

zbMATH Keywords

theorem provingexplicit substitutionALFformalizing proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Formalizing strong normalization proofs of explicit substitution calculi in ALF