"Gli articoli contenuti in questo volume sono stati presentati alla quarta conferenza estiva biennale sulla teoria delle categorie e l'informatica, tenutasi a Parigi dal 3 al 6 settembre 1991. La teoria delle categorie continua ad essere uno strumento importante negli studi fondamentali dell'informatica. È stata ampiamente applicata dai logici per ottenere interpretazioni concise di molti concetti logici. I collegamenti tra logica e informatica sono stati sviluppati ormai da oltre vent'anni, in particolare attraverso l'isomorfismo di Curry-Howard che identifica programmi con dimostrazioni e tipi con La teoria delle categorie dei triangoli - logica - programmazione presenta un ricco mondo di interconnessioni. Gli argomenti trattati in questo volume includono i seguenti: Teoria dei tipi: la stratificazione di tipi e proposizioni può essere discussa in un contesto categorico. Teoria dei domini: la teoria dei domini sintetici sviluppa la teoria dei domini internamente all'universo costruttivo della logica lineare: la ricostruzione della logica basata su proposizioni come risorse porta ad alternative alle sintassi tradizionali Volumi 240, 283 e 389"--SITO WEB DELL'EDITORE.
caricamento...
