Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility

From MaRDI portal

(Redirected from Publication:896904)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Termination_of_rewrite_relations_on_%5C(%5Clambda%5C)-terms_based_on_Girard%27s_notion_of_reducibility&oldid=65171505"