Programmes par vlcmm.sf.net

Nous introduisons une représentation entièrement visuelle basée sur des cartes mentales dactylographyées pour représenter les étapes de calcul d’une calculatrice lambda non typée pure, VLM.