An Elementary Proof of Strong Normalization for Atomic F

Bulletin of the Section of Logic, Tom 45, Numer 1 (2016) s. 1-16
Fernando Ferreira, Gilda Ferreira

 

do góry