, ,
Springer
Lecture Notes in Computer Science
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Specification and Analysis of Embedded Systems

Bethke, I., & Klop, J. W. (1996). Collapsing partial combinatory algebras. In Higher-Order Algebra, Logic, and Term Rewriting (pp. 57–73). Springer.