A simplified version of local predicativity”, Aczel (1990)

by W BUCHHOLZ
Venue:Proof Theory. A selection of papers from the Leeds Proof Theory Programme