Domande taggate «logical-relations»



4
Parametricità unaria vs. parametria binaria
Recentemente sono diventato piuttosto interessato alla parametricità dopo aver visto il documento LICS del 2012 di Bernardy e Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). In questo documento, interiorizzano la parametricità unaria in un sistema di tipo puro con tipi dipendenti e suggeriscono come estendere la costruzione ad arità arbitrarie. Ho visto solo …


Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.