Publications

Uniform Strong Normalization for Multi-Discipline Calculi

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

Abstract not provided.