2
Quantificazione universale / esistenziale?
Sto lottando per capire lo scopo della quantificazione universale ed esistenziale dei tipi. Sto giocando con la scrittura di un linguaggio giocattolo basato sul calcolo delle costruzioni . Ho letto di Morte e Henk per aiutarmi a capire meglio. Non capisco perché il CoC abbia sia l'astrazione lambda che forall. …