Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = 'd4vue328f31s2sqje1ink3sej4' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
La teoria delle lenti (Hancock, Ordinals and Interactive Programs, 2000) formalizza la corrispondenza intuita da Gentzen, che associa ai tipi su cui un sistema formale può applicare il principio di induzione le funzioni rappresentabili (equivalentemente, i buoni ordini provabili) nel sistema. La generalizzazione di tale corrispondenza, attraverso alcuni concetti e risultati provenienti dalla teoria dei dilatatori, fornisce una prospettiva "dinamica" per lo studio della teoria impredicativa dei tipi (sistema F).
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 = 'd4vue328f31s2sqje1ink3sej4' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/07/12', '', '216.73.216.58', 1751675363) 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 ('d4vue328f31s2sqje1ink3sej4', 0, 0, '216.73.216.58', 'calendar_year|i:2013;calendar_mon|i:7;', 1751675363) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/07/12', '', '216.73.216.58', 1751675363) in /var/www/church/includes/database.mysql.inc on line 121
