Modular properties of algebraic type systems

DOI10.1007/3-540-61254-8_18zbMath1407.68088OpenAlexW1538130752MaRDI QIDQ4645803

Gilles Barthe, Herman Geuvers

Publication date: 11 January 2019

Published in: Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/1389

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
• Modular properties of conditional term rewriting systems
• Polymorphic rewriting conserves algebraic strong normalization
• Confluence of the lambda calculus with left-linear algebraic rewriting
• On the Church-Rosser property for the direct sum of term rewriting systems