Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '6g8arqc100ru2nlrkpi9gcfgf5' in /var/www/church/includes/database.mysql.inc on line 121
Gruppo di Logica e Geometria della Cognizione
Year | Month | Week | Day
« prevVenerdì, Ottobre 28 2016next »
Key 1

Il !-calcolo: una variante del lambda-calcolo che generalizza la chiamata per nome e la chiamata per valore

Speaker:
Giulio Guerrieri (Università Roma Tre - Université d'Aix-Marseille)
Quando:
28/10/2016 - 11:30
Dove:
Aula 311 della Sezione di Matematica del Dipartimento di Matematica e Fisica Largo San Leonardi Murialdo 1, Roma – Palazzina C, III piano
Abstract

Introdurremo e studieremo il !-calcolo, un calcolo funzionale non tipato in cui l'operatore di promozione della Logica Lineare fa esplicitamente parte della sintassi e l'applicazione è bilineare.
Questo calcolo, che può essere visto come una versione non tipata del calcolo Call-By-Push-Value di Paul Levy, sussume sia il lambda-calcolo per nome sia il lambda-calcolo per valore, in quanto consente (e internalizza) una fattorizzazione delle due traduzioni di Girard della logica intuizionista nella Logica Lineare.
Costruiremo un modello denotazionale del !-calcolo basato sulla interpretazione relazionale della Logica Lineare e dimostreremo un teorema di correttezza per tale modello ricorrendo a una versione con risorse del !-calcolo basato sulla Logica Lineare Differenziale.



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '6g8arqc100ru2nlrkpi9gcfgf5' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2016/10/28', '', '216.73.216.58', 1751660491) in /var/www/church/includes/database.mysql.inc on line 121

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('6g8arqc100ru2nlrkpi9gcfgf5', 0, 0, '216.73.216.58', 'calendar_year|i:2016;calendar_mon|i:10;', 1751660491) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2016/10/28', '', '216.73.216.58', 1751660491) in /var/www/church/includes/database.mysql.inc on line 121