Formalized Metatheory with Terms Represented by an Indexed Family of Types

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1007/11617990_1

Statistics

051015201520162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.