3
Spiegazione semplice del perché alcune funzioni calcolabili non possono essere rappresentate da un termine tipizzato?
Leggendo il documento Un'introduzione al calcolo Lambda , mi sono imbattuto in un paragrafo che non capivo davvero, a pagina 34 (corsivo): All'interno di ciascuno dei due paradigmi ci sono diverse versioni del calcolo lambda tipizzato. In molti sistemi importanti, specialmente quelli alla Chiesa, è vero che i termini che …