Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage

From MaRDI portal

(Redirected from Publication:930871)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Characterizing_strong_normalization_in_the_Curien-Herbelin_symmetric_lambda_calculus:_extending_the_Coppo-Dezani_heritage&oldid=65459736"