DMCA

λν, a Calculus of Explicit Substitutions which Preserves Strong Normalisation (1995)

by Zine-el-abidine Benaissa , Daniel Briaud , Pierre Lescanne , Jocelyne Rouyer-degli , Projet Eureca
Citations:2 - 0 self