Outer Web | Explore

Explore >> Select a destination

You are here		fabricebaudoin.blog Lecture notes: An Introduction to Dirichlet Spaces \| Research and Lecture notes
\|	\|	homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory	8.0 parsecs away Travel
\|	\|	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...	8.0 parsecs away Travel
\|	\|	stronglang.wordpress.com Mapping the United Swears of America \| Wolf Howls	10.1 parsecs away Travel
\|	\|	Reblogged on WordPress.com	10.1 parsecs away Travel
\|	\|	localtvwhnt.wordpress.com Wildlife Rehabbers Furious Over New State Guidelines Forbidding Rescue/Rehab of 7 Species \| Wolf Howls	10.3 parsecs away Travel
\|	\|	Reblogged on WordPress.com	10.3 parsecs away Travel
\|	\|	nyaquarium.com Ocean Wonders: Sharks! - New York Aquarium	38.7 parsecs away Travel
\|		Go below the surface and meet the amazing animals, including sharks, rays, sea turtles, and more, that live right off the Coney Island Boardwalk.	38.7 parsecs away Travel