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 / Stefano Berardi; Lorenzo Bettini; Mario Coppo; Ferruccio Damiani; Mariangiola Dezani; Ugo de' Liguoro; Mauro Piccolo. - STAMPA. - 5497:(2008), pp. 1-322.
International Conference TYPES 2008
BETTINI, LORENZO;
2008
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
