(sorry to people who are seeing this multiple times)
One group of researchers, ... referred to as the HoTT community (for homotopy type theory), set off to explore the possibilities for new discoveries within the framework they’d developed. Another group, which identifies as UniMath ..., began rewriting mathematics in the language of univalent foundations. Their goal is to create a library of basic mathematical elements — lemmas, proofs, propositions — that mathematicians can use to formalize their own work in univalent foundations.
For example: U-Machines
(which defines a model of computing over continuous fields)
by Bruce MacLennan - <web.eecs.utk.edu/~mclennan>
(This would be a reversal of the HoTT approach where the programming is subordinated. One would define HoTT topics in terms of a U-Machine language, for example.)
- Brown UniversityPh.D. Applied Mathematics (1979), Sc.M. (1976), Sc.B. (1975)
- Cloudversed PublishingPublisher, 2011 - present
Planet PDF - Navigating the Internal Structure of a PDF Document
Thom Parker. WindJack Solutions founder Thom Parker has been developing solutions for Adobe software since 1997. WindJack Solutions' focus i
Flying qubits make for a highly resilient quantum memory
(Phys.org) —In a quantum memory, the basic unit of data storage is the qubit. Because a qubit can exist in a superposition state of both '1'
The Google+ Hall of Fame | Google+ Counter | gpc.fm | Lists, Trends &...
Google+ Counter is helping you finding new people, trends and stats on Google+. It also is the home of the Top followed Google+ Ladies and m
Ten Recent Books of Poetry You Should Read Right Now
The robust state of poetry in America is evidenced by this non-exhaustive, list of superlative books, all of which are must-reads for those
Lady Gaga Makes Ralph Macchio a Trending Topic on Twitter
Lady Gagas MTV VMAs performance made Ralph Macchio a trending topic on Twitter. So how did the actor react to being compared to the biggest
Animal pictures of the week: 30 March 2012 - Telegraph
All creatures great and small in our ever popular animal gallery.