. "Functional programming Based on Transparent Intensional Logic" . "Du\u017E\u00ED, Marie" . . "Functional programming Based on Transparent Intensional Logic"@en . . . . . . "Functional programming Based on Transparent Intensional Logic" . . . . "Ciprich, Nikola" . "422731" . "RIV/61989100:27240/07:86076084!RIV11-AV0-27240___" . "grammar; syntax; Transparent Intensional Logic; TIL-Script; TIL"@en . "RIV/61989100:27240/07:86076084" . "P(1ET101940420), P(GA401/07/0451)" . . "Brno" . . . . "RASLAN 2007" . . "[49E1DBB9F320]" . . "3"^^ . "978-80-210-4471-5" . . "Karlova Studanka" . "2007-12-14+01:00"^^ . "3"^^ . . "000268015500005" . "Masarykova univerzita" . . . "27240" . "Ko\u0161in\u00E1r, Michal" . "In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichy and in many ways a revolutionary logical system. The work on the TIL-Script project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script syntax."@en . . "In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichy and in many ways a revolutionary logical system. The work on the TIL-Script project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script syntax." . "6"^^ . "Functional programming Based on Transparent Intensional Logic"@en .