Strong Normalization of Program-Indexed Lambda Calculus

Bulletin of the Section of Logic, Tom 39, Numer 1-2 (2010) s. 65-78
Norihiro Kamide

 

do góry