CINECA IRIS Institutional Research Information System

The topic of the conference was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

International Conference TYPES 2008

BERARDI, Stefano;BETTINI, LORENZO;COPPO, Mario;DAMIANI, Ferruccio;DEZANI, Mariangiola;DE' LIGUORO, Ugo;PICCOLO, Mauro
2008-01-01

Abstract

The topic of the conference was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.
2008
Springer
5497
1
322
3642024432
http://types2008.di.unito.it/
Coq; Isabelle; abstract mathematics; access control models; answer set programming; bisimulation; coinduction; component; formal reasoning; formal semantics; formal specification; formal verification; higher-order logic; linear logic; mobile devices; naive type theory; object-oriented languages; polymorphism; polynomial time computations; process model; program semantics; programming logic; programming theory; proof theory; rewriting systems; subtyping; theorem proving; type checking; type inference; type systems; types; verification.
Stefano Berardi; Lorenzo Bettini; Mario Coppo; Ferruccio Damiani; Mariangiola Dezani; Ugo de' Liguoro; Mauro Piccolo
05A-Curatela
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/68106
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact