Type Preservation as a Confluence Problem

DOI10.4230/LIPIcs.RTA.2011.345zbMath1236.68153OpenAlexW1606615329MaRDI QIDQ5389092

Garrin Kimmell, Aaron Stump, Roba El Haj Omar

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6010.html

zbMATH Keywords

confluenceterm rewritingtype safety

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Uses Software

• AProVE
• PoplMark

This page was built for publication: Type Preservation as a Confluence Problem