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.

Na minha lista:
Detalhes bibliográficos
Autor principal: Lorenzo Tortora de Falco
Formato: Artigo
Idioma:Inglês
Publicado em: Sapienza Università Editrice 2006-01-01
Colecção:Rendiconti di Matematica e delle Sue Applicazioni
Assuntos:
prove
programmi
calcolo
corrispondenza curry-howard
logica lineare
reti di prova
complessità computazionale
Acesso em linha:https://www1.mat.uniroma1.it/ricerca/rendiconti/ARCHIVIO/2006(3-4)/367-404.pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados