Spelling suggestions: "subject:"cologique combinatorial lambdacalculus"" "subject:"cologique combinatorial lambdacalc""
1 |
Définitions par réécriture dans le lambda-calcul confluence, réductibilité et typage /Riba, Colin Kirchner, Claude Blanqui, Frédéric January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre.
|
Page generated in 0.0628 seconds