Logic Representation in LF

  • Authors:

  • Robert Harper;Donald Sannella;Andrzej Tarlecki

  • Affiliations:

  • -;-;-

  • Venue:
  • Category Theory and Computer Science
  • Year:
  • 1989

Quantified Score

Hi-index 0.05

Visualization

Abstract