Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '61lt0qf31209cu8eo8hdd8qhg2' in /var/www/church/includes/database.mysql.inc on line 121 A characterization of head-normalization through some intersection type systems and the relational model via Taylor expansion | Gruppo di Logica e Geometria della Cognizione
Dipartimento di Matematica e Fisica, L.go S. Leonardo Murialdo 1, Palazzina C, Aula 311
Abstract
Via the Taylor expansion of lambda terms it is possible to provide an innovative proof of the head-normalization theorem for the relational model.
Thanks to this result we can also state in a very natural way the equivalence between the relational model and some intersection type systems.
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 = '61lt0qf31209cu8eo8hdd8qhg2' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/663', '', '3.236.100.210', 1725981743) in /var/www/church/includes/database.mysql.inc on line 121
