Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1344948,
author = {Raclavský, Jiří},
booktitle = {XXI. Applications of Logic in Philosophy and the Foundations of Mathematics},
keywords = {typing judgements;type theory},
language = {eng},
note = {(konf. abstrakt)},
title = {Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements},
url = {http://www.applications-of-logic.uni.wroc.pl/attachments/Abstrakty2016_2017-01-30_21-36-00.pdf},
year = {2016}
}
TY - CONF
ID - 1344948
AU - Raclavský, Jiří
PY - 2016
TI - Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements
N1 - (konf. abstrakt)
KW - typing judgements;type theory
UR - http://www.applications-of-logic.uni.wroc.pl/attachments/Abstrakty2016_2017-01-30_21-36-00.pdf
N2 - In computer science, type theory is massively used as the basis of functional programming and theorem provers. Explicit use of typing judgements, e.g. ``$X$ is of type $\tau$.'', enables us a better control of programme behaviour (preventing cycling, ...), better control over quantification (preventing paradoxes, ...). The present talk focuses on deduction with typing judgements in Tichý's partial type theory, which is valuable because of its implementing partiality, incl. partiality of entities allowed in its ramified part.
ER -
RACLAVSKÝ, Jiří. Deduction in Ramified Partial Type Theory: Focus on Derivation with Typing Judgements. Online. In \textit{XXI. Applications of Logic in Philosophy and the Foundations of Mathematics}. 2016, [citováno 2024-04-24]
|
