Year | Month | Week | Day
« prevVenerdì, Febbraio 12 2016next »
Key 1

Diagrammi di corde per le reti di prova

Speaker:
Matteo Acclavio (Institut de Mathématiques de Marseille)
Quando:
12/02/2016 - 11:00
Dove:
Dipartimento di Matematica e Fisica, L.go S. Leonardo Murialdo 1, Aula 311
Abstract

Le reti di prova in MELL necessitano di criteri di correttezza non locali o esterni alla sintassi delle reti di interazioni: connessione, aciclicita', box, salti.
Dopo aver introdotto la sintassi dei diagrammi di corde per le categorie monoidali, verra' descritto come ricostruire in questi contesti modelli di proof net con un unico criterio di correttezza locale per MLL e MELL (con o senza costanti).