Popis: Extensional constructs in intensional type theory /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Hofmann, Martin, 1965- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	London : Springer, c1997
Témata:	výpočetní technika computer science monographs monografie

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xii, 214 s.
ISBN:	3-540-76121-7