Label-Selective lambda-Calculus Syntax and Confluence

  • Authors:

  • Hassan Aït-Kaci;Jacques Garrigue

  • Affiliations:

  • -;-

  • Venue:
  • Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
  • Year:
  • 1993

Quantified Score

Hi-index 0.01

Visualization

Abstract