Extensional constructs in intensional type theory /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: London : Springer, [1997].
Edice: CPHC/BCS Distinguished dissertations (Springer)
Předmět:
teorie typů
konstruktivní matematika
počítačová věda
matematická logika
formální jazyky
teorie kategorií
monografie
Externí odkaz: http://web.flu.cas.cz/scan/323557580.pdf

Podobné jednotky