A Rewriting System for Categorical Combinators with Multiple Arguments

DOI10.1137/0219005zbMath0696.68041OpenAlexW2087379008MaRDI QIDQ3474271

Hirofumi Yokouchi, Teruo Hikita

Publication date: 1990

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2433/100507

zbMATH Keywords

rewriting systemfunctional programminglambda calculusChurch-Rosser propertyCategorical combinators

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40) Thue and Post systems, etc. (03D03)

Related Items (3)

On explicit substitution with names ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ An abstract framework for environment machines

This page was built for publication: A Rewriting System for Categorical Combinators with Multiple Arguments