- <p>Questo calcolo integra al proprio interno alcuni cosrtutti computazionali tipici dei linguaggi di programmazione funzionali: in particolare, si
- possono definire funzioni per ricorsione (ben fondata), la cui
- applizazione puo' essere effetivamente calcolata come per normali programmi.
+ <p>Questo calcolo integra al proprio interno alcuni costrutti computazionali
+ tipici dei linguaggi di programmazione funzionali: in particolare, si
+ possono definire funzioni per ricorsione (ben fondata), che possono essere
+ valutate e testate come dei normali programmi.