Programmi di vlcmm.sf.net

Introduciamo una rappresentazione completamente visiva basata su mappe mentali tipificate per rappresentare i passaggi di calcolo per un calcolatore lambda puro non tipizzata, VLM.