Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '879339qvh7ucvq7p62csjl6gn7' in /var/www/church/includes/database.mysql.inc on line 121
Colloquium di matematica, Thomas Erhard | Gruppo di Logica e Geometria della Cognizione
Home

Colloquium di matematica, Thomas Erhard

Cari tutti,
si segnala il seguente seminario, nell'ambito del Colloquium di Matematica del Dipartimento di Matematica e Fisica:

Thomas Ehrhard
CNRS, directeur du laboratoire Preuves, Programmes et Syste'mes (PPS)
Universite' Paris Diderot - Paris 7

On the mathematical interpretation of programs and proofs

Mercoledi' 14 Ottobre 2015 ORE 16:00

Dipartimento di Matematica e Fisica
Universita' degli Studi Roma Tre
Aula F, primo piano, edificio Aule - Largo San Leonardo Murialdo,1

Abstract:

We shall see how the notions of monoidal categories, adjunctions and monads/comonads are deeply connected to the mathematical interpretation of functional computer programs and of mathematical proofs. We shall illustrate how this interpretation can suggest improvements of the syntax of programs. For instance, it allows to accommodate the call-by-name and the call-by-value evaluation strategies in a common functional setting, or provides a simple algebraic understanding of the "call with current continuation" primitive of the language scheme, both using the category of coalgebras of a comonad.On the mathematical interpretation of programs and proofs"


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 = '879339qvh7ucvq7p62csjl6gn7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/635', '', '216.73.216.11', 1759533328) 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 ('879339qvh7ucvq7p62csjl6gn7', 0, 0, '216.73.216.11', '', 1759533328) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/635', '', '216.73.216.11', 1759533328) in /var/www/church/includes/database.mysql.inc on line 121