Outer Web | Explore

Explore >> Select a destination

You are here		homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory
\|	\|	fabricebaudoin.blog Lecture notes: A short introduction to Dirichlet spaces \| Research and Lecture notes	2.8 parsecs away Travel
\|	\|	Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload	2.8 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	4.2 parsecs away Travel
\|	\|	NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...	4.2 parsecs away Travel
\|	\|	noncommutativeanalysis.wordpress.com Noncommutative Function Theory and Free Probability at Oberwolfach \| Noncommutative Analysis	2.6 parsecs away Travel
\|	\|	I spent the week 28.4 - 3.5 at the MFO at Oberwolfach in a workshop on noncommutative function theory and free probability (whatever the hell that means), where I gave (ahem, ahem) a three lecture mini-course "Noncommutative Function Theory for Free Probabilists for Everyone". It is a curious exercise to give a mini-course to a...	2.6 parsecs away Travel
\|	\|	www.mrowe.co.za People are not content generators - Michael Rowe	24.1 parsecs away Travel
\|		Michael Rowe is an Associate Professor in the Department of Physiotherapy at the University of the Western Cape in Cape Town, South Africa.	24.1 parsecs away Travel