Conditions for the completeness of functional and algebraic equational reasoning

DOI10.1017/S0960129599002807zbMath0940.03020MaRDI QIDQ4946627

Ramesh Subrahmanyam, Jon G. Riecke

Publication date: 23 March 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic operationssimply-typed \(\lambda\)-calculusalgebraic equational reasoningfunctional equational reasoning

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Conditions for the completeness of functional and algebraic equational reasoning