1996
Collapsing partial combinatory algebras
Publication
Publication
Presented at the
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Paderborn
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting | |
Organisation | 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. |