Types for Proofs and Programs

Type:

e-book

Titel:

Types for Proofs and Programs

Auteur:

Altenkirch, Thorsten; Kanade, Takeo; McBride, Conor; Kittler, Josef; McBride, Connor

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2007

ISBN:

3-540-74463-0
3-540-74464-9

Permalink:

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