Zde se nacházíte:
Informace o publikaci
Partiality and Tichý's logic
Autoři | |
---|---|
Rok publikování | 2013 |
Druh | Další prezentace na konferencích |
Fakulta / Pracoviště MU | |
Citace | |
Popis | Prezentace pojednání parciality v rámci jednoduché a apak rozvětvené teorie typů Pavla Tichého. Zařazení do kontextu zkoumání parciality v posledních dvou dekádách. Prezentace autorem dosažených výsledků v této problematice. |
Související projekty: |