Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'j0041sf27818uljul363smjkr6' in /var/www/church/includes/database.mysql.inc on line 121
Espansione di Taylor dei lambda-termini ordinari e uniformità | Gruppo di Logica e Geometria della Cognizione

Espansione di Taylor dei lambda-termini ordinari e uniformità

Speaker:
Giulio Guerrieri
Quando:
20/05/2011 - 11:00
Dove:
Sala del Consiglio, Dipartimento di Filosofia - Università Roma Tre, via Ostiense 234
Abstract

Ehrhard e Regnier hanno definito l'espansione di Taylor di un lambda-termine ordinario come una combinazione lineare infinita di termini del lambda-calcolo con risorse. Il lambda-calcolo con risorse è una variante del lambda-calcolo ordinario in cui invece dell'applicazione ordinaria è presente un'applicazione "lineare". A livello logico, il lambda-calcolo con risorse corrisponde alle reti differenziali senza la promozione. Servendosi di una proprietà di uniformità, Ehrhard e Regnier hanno mostrato che la somma delle forme normali dei termini che compaiono nell'espansione di Taylor di un lambda-termine ordinario M è l'espansione di Taylor dell'albero di Böhm di M. Presenteremo brevemente tali risultati e uno degli attuali obiettivi di ricerca (ancora in fieri): caratterizzare la proprietà di uniformità nelle reti differenziali senza promozione.



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 = 'j0041sf27818uljul363smjkr6' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/472', '', '216.73.216.58', 1751849523) in /var/www/church/includes/database.mysql.inc on line 121