Modular properties of algebraic type systems

Autor:	Barthe, G., Geuvers, J.H., Dowek, G., Heering, J., Meinke, K., Möller, B.
Přispěvatelé:	Mathematics and Computer Science, Formal Methods
Jazyk:	angličtina
Rok vydání:	1996
Předmět:	Algebra Pure mathematics TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES business.industry ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Order (ring theory) Rewriting Algebraic number Type (model theory) Modular design business Mathematics
Zdroj:	Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers), 37-56 STARTPAGE=37;ENDPAGE=56;TITLE=Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers) Higher-Order Algebra, Logic, and Term Rewriting, 1074, 37-56 Higher-Order Algebra, Logic, and Term Rewriting ISBN: 9783540612544 HOA Higher-Order Algebra, Logic, and Term Rewriting, 1074, pp. 37-56
ISSN:	0302-9743
DOI:	10.1007/3-540-61254-8_18
Popis:	We introduce the framework of algebraic type systems, a generalisation of pure type systems with higher order rewriting a la Jouannaud-Okada, and initiate a generic study of the modular properties of these systems. We give a general criterion for one system of this framework to be strongly normalising. As an application of our criterion, we recover all previous strong normalisation results for algebraic type systems.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be5c29df0d653282719b052401ed3c8a https://doi.org/10.1007/3-540-61254-8_18 Zobrazit plný text záznamu