Explore >> Select a destination
|
You are here 
|
consequently.org | ||
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends f... | |
| | | | |
richardzach.org
|
|
| | | | | Zach, Richard. 2021. "Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi." The Review of Symbolic Logic 14 (3): 645-86. doi:10.1017/... | |
| | | | |
rhubbarb.wordpress.com
|
|
| | | My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML | ||
