Modular properties of algebraic type systems

DOI10.1007/3-540-61254-8_18MaRDI QIDQ4645803zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Modularity of strong normalization in the algebraic-λ-cube
• On modular properties of higher order extensional lambda calculi
• scientific article; zbMATH DE number 1086659
• Publication:4941922
• Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved

Cites work

• Confluence of the lambda calculus with left-linear algebraic rewriting
• scientific article; zbMATH DE number 3513750 (Why is no real title available?)
• scientific article; zbMATH DE number 512772 (Why is no real title available?)
• scientific article; zbMATH DE number 512790 (Why is no real title available?)
• scientific article; zbMATH DE number 591911 (Why is no real title available?)
• scientific article; zbMATH DE number 1400716 (Why is no real title available?)
• Modular properties of conditional term rewriting systems
• On the Church-Rosser property for the direct sum of term rewriting systems
• Polymorphic rewriting conserves algebraic strong normalization
• Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings

Cited in

(16)

• An algebraic view on recursive types
• Modularity of proof-nets. Generating the type of a module.
• scientific article; zbMATH DE number 1617303 (Why is no real title available?)
• A type system for higher-order modules
• Modular type classes
• A very modal model of a modern, major, general type system
• scientific article; zbMATH DE number 4164154 (Why is no real title available?)
• Modularity of strong normalization in the algebraic-λ-cube
• scientific article; zbMATH DE number 1086659 (Why is no real title available?)
• Modular types in some supersimple theories
• On modular properties of higher order extensional lambda calculi
• A Modular Type Reconstruction Algorithm
• scientific article; zbMATH DE number 1418359 (Why is no real title available?)
• Modeling abstract types in modules with open existential types
• Principal Type Schemes for Modular Programs
• Congruence types

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Modular properties of algebraic type systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645803)