RACLAVSKÝ, Jiří. Partiality and Tichý's logic. In Epsilon meets lambda, Ostrava, 22.-24. června 2013. 2013. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Partiality and Tichý's logic |
Name (in English) | Partiality and Tichý's logic |
Authors | RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution). |
Edition | Epsilon meets lambda, Ostrava, 22.-24. června 2013, 2013. |
Other information | |
---|---|
Original language | Czech |
Type of outcome | Presentations at conferences |
Field of Study | 60300 6.3 Philosophy, Ethics and Religion |
Country of publisher | Czech Republic |
Confidentiality degree | is not subject to a state or trade secret |
RIV identification code | RIV/00216224:14210/13:00068684 |
Organization unit | Faculty of Arts |
Keywords in English | partiality; partial functions; type theory; Tichý |
Tags | rivok |
Tags | International impact |
Changed by | Changed by: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Changed: 29/9/2014 14:16. |
Abstract |
---|
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. |
Abstract (in English) |
---|
Presentation of the ways how partiality is treated within simple and them ramified version of Pavel Tichý's logical theory. Comparison of the results with other works on the topics in last two decades. Introducing the autor's own contributions (e.g. proof of invalidity of eta-reduction when adopting partial functions). |
Links | |
---|---|
MUNI/A/0795/2012, interní kód MU | Name: Filozofie přítomnosti |
Investor: Masaryk University, Category A |
PrintDisplayed: 30/5/2024 14:44