Publications Details

Publications / Conference Poster

Uniform Strong Normalization for Multi-Discipline Calculi

Johnson-Freyd, Philip; Ariola, Zena M.; Downen, Paul

Abstract not provided.