Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Laskowski, Patrick"'
We are interested in algorithms that manipulate mathematical expressions in mathematically meaningful ways. Expressions are syntactic, but most logics do not allow one to discuss syntax. ${\rm CTT}_{\rm qe}$ is a version of Church's type theory that
Externí odkaz:
http://arxiv.org/abs/1802.00405
