Completing Herbelin’s programme (2007)

by J Espírito Santo
Venue:9th International Conference on Typed Lambda Calculi and Applications, TLCA ’07, volume 4583 of LNCS