Types for Proofs and Programs

Type:

e-book

Titel:

Types for Proofs and Programs

Auteur:

Filliâtre, Jean-Christophe; Kanade, Takeo; Paulin-Mohring, Christine; Werner, Benjamin

Taal:

Engels

Uitgever:

Springer Berlin / Heidelberg 2006

ISBN:

3-540-31428-8
3-540-31429-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000232780