Popis: Semantics of Typed Lambda Calculus

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Sekanina, Milan (Autor práce)
Další autoři:	Rosický, Jiří, 1946- (Vedoucí práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Angličtina
Vydáno:	1993
Témata:	algebraické struktury algebraic structures diplomové práce master's theses

Popis
Popis jednotky:	Vedoucí práce: Jiří Rosický
Fyzický popis:	47 l.