Discussione:Lambda calcolo
Da Wikipedia, l'enciclopedia libera.
[modifica] Variabili fresche
Un nome di variabile si dice fresco, relativamente ad un termine, se esso non è menzionato tra i nomi di variabile legate, in quello stesso termine.
Non sono proprio d'accordo con questa definizione. Un nome di variabile fresco rispetto a un termine non dovrebbe proprio comparire (né legato, né libero) nel termine e, se proprio vogliamo rilassare i requisiti, non deve assolutamente essere una variabile libera del termine.
Se non avete obiezioni, lo cambio
--Xelloss 21:54, Lug 9, 2005 (CEST)
- Nessuna obiezione (si usa normalmente "fresco" come traduzione di "fresh" o sarebbe meglio tradurre come "nuovo"?) --Sbisolo 10:58, Lug 10, 2005 (CEST)
-
- Sistemato. Sì, direi che "fresco" è una traduzione frequente--Xelloss 18:48, Lug 10, 2005 (CEST)
