View of A New Look at Generalized Rewriting in Type Theory

Return to Article Details A New Look at Generalized Rewriting in Type Theory Download Download PDF