Sulla struttura logica del calcolo

Proponiamo una rassegna di alcuni aspetti degli sviluppi recenti della teoria della dimostrazione e dei suoi legami con l’informatica.

Bibliographic Details
Main Author:	Lorenzo Tortora de Falco
Format:	Article
Language:	English
Published:	Sapienza Università Editrice 2006-01-01
Series:	Rendiconti di Matematica e delle Sue Applicazioni
Subjects:	prove programmi calcolo corrispondenza curry-howard logica lineare reti di prova complessità computazionale
Online Access:	https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/2006(3-4)/367-404.pdf

Internet