Correct Computation Rules for Recursive Languages (Extended Abstract)

Peter J. Downey, Ravi Sethi

Browse the full FOCS paper archive.