✦ LIBER ✦

Assertion and grounding: a theory of assertion for constructive type theory

✍ Scribed by Maria van der Schaar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An assertional proof for a construction

✍ Wim H. Hesselink 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 83 KB

A general method for constructing Timosh

✍ Ye.M. Zveryayev; G.I. Makarov 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 450 KB

Type theories, toposes and constructive

✍ Ieke Moerdijk; Erik Palmgren 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 357 KB

A constructive theory of continuous doma

✍ Andrej Bauer; Iztok Kavkler 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 1011 KB

The Constructive Hilbert Program and the

✍ Michael Rathjen 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 297 KB

The cognitive act and the first-person p

✍ Maria van der Schaar 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 268 KB