Formalizing strong normalization proofs of explicit substitution calculi in ALF

Fairouz Kamareddine, Haiyan Qiao

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Formalizing strong normalization proofs of explicit substitution calculi in ALF'. Together they form a unique fingerprint.

Mathematics