Collapsing Partial Combinatory Algebras

  • Authors:

  • Inge Bethke;Jan Willem Klop

  • Affiliations:

  • -;-

  • Venue:
  • HOA '95 Selected Papers from the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract