A syntactical analysis of normalization

DOI10.1093/logcom/10.3.381zbMath0953.03015OpenAlexW1973049556MaRDI QIDQ4500176

Adolfo Piperno, Zurab Khasidashvili

Publication date: 4 September 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/10.3.381

zbMATH Keywords

normalizationlambda-calculustype assignment systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The conflict-free reduction geometry

This page was built for publication: A syntactical analysis of normalization