Independence Results for Calculi of Dependent Types

  • Authors:

  • Thomas Streicher

  • Affiliations:

  • -

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

Quantified Score

Hi-index 0.00

Visualization

Abstract