II: PROGRAMMING LOGIC: Chapter 9: Constructive Category Theory.

Autor:	Huet, Gérard, Saïbi, Amokrane
Zdroj:	Proof, Language & Interaction; 2000, p239-275, 37p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu