Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » math-teach

Topic: Structured Programming
Replies: 103   Last Post: Mar 25, 2014 12:33 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
GS Chandy

Posts: 7,216
From: Hyderabad, Mumbai/Bangalore, India
Registered: 9/29/05
Re: Structured Programming
Posted: Mar 11, 2014 4:04 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

[This message was accidentally 'sent' before it was ready for that. I have hastily completed it and have reposted it - see http://mathforum.org/kb/message.jspa?messageID=9410148, below].

Thanks, Joe Niederberger, for drawing our attention to 'Homotopy Type Theory' (HOTT) and the BIG book on it: "Homotopy Type Theory: Univalent Foundations of Mathematics".

I have since re-read, quite carefully, the Introduction to the book - No, I've not yet done any modeling there, because I believe this will be possible only when I've at least started studying 'Foundations'. I've made a fair start on "Foundations" - Type Theory; Type Theory Vs. Set Theory; Function Types; etc. I've also read (and listened to) the talk on "Univalent Foundations" by Vladimir Voevodsky.

As noted in an earlier post, some of it is pretty hairy stuff (in particular when I look at some of the 'exercises' in the book) - and I'm sure I'll not succeed in 'studying' (with modeling) the book as a whole UNLESS I am guided by someone who's reasonably expert with HOTT. Let's see how it goes.

However, I DO believe that the 'structures' (the 'higher-level models') within OPMS would help clarify several of the issues in HOTT. Hopefully, I shall be able to convince someone accordingly at 'The Univalent Foundations Program'. As note


Message was edited by: GS Chandy


Date Subject Author
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
kirby urner
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Joe Niederberger
3/8/14
Read Re: Structured Programming
Joe Niederberger
3/9/14
Read Re: Structured Programming
Robert Hansen
3/9/14
Read Re: Structured Programming
GS Chandy
3/9/14
Read Re: Structured Programming
GS Chandy
3/9/14
Read Re: Structured Programming
GS Chandy
3/10/14
Read Re: Structured Programming
kirby urner
3/9/14
Read Re: Structured Programming
GS Chandy
3/10/14
Read Re: Structured Programming
kirby urner
3/11/14
Read Re: Structured Programming
Louis Talman
3/11/14
Read Re: Structured Programming
Robert Hansen
3/11/14
Read Re: Structured Programming
kirby urner
3/12/14
Read Re: Structured Programming
Robert Hansen
3/12/14
Read Re: Structured Programming
kirby urner
3/9/14
Read Re: Structured Programming
GS Chandy
3/10/14
Read Re: Structured Programming
GS Chandy
3/9/14
Read Re: Structured Programming
GS Chandy
3/9/14
Read Re: Structured Programming
GS Chandy
3/9/14
Read Re: Structured Programming
GS Chandy
3/10/14
Read Re: Structured Programming
Joe Niederberger
3/10/14
Read Re: Structured Programming
Robert Hansen
3/11/14
Read Re: Structured Programming
Robert Hansen
3/10/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
kirby urner
3/11/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
GS Chandy
3/11/14
Read Re: Structured Programming
Joe Niederberger
3/11/14
Read Re: Structured Programming
Robert Hansen
3/11/14
Read Re: Structured Programming
Joe Niederberger
3/11/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
Joe Niederberger
3/12/14
Read Re: Structured Programming
Robert Hansen
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
Robert Hansen
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
GS Chandy
3/12/14
Read Re: Structured Programming
Robert Hansen
3/12/14
Read Re: Structured Programming
Robert Hansen
3/13/14
Read Re: Structured Programming
GS Chandy
3/13/14
Read Re: Structured Programming
GS Chandy
3/13/14
Read Re: Structured Programming
Robert Hansen
3/13/14
Read Re: Structured Programming
Joe Niederberger
3/13/14
Read Re: Structured Programming
Joe Niederberger
3/13/14
Read Re: Structured Programming
Robert Hansen
3/13/14
Read Re: Structured Programming
GS Chandy
3/13/14
Read Re: Structured Programming
Robert Hansen
3/13/14
Read Re: Structured Programming
Joe Niederberger
3/16/14
Read Re: Structured Programming
Robert Hansen
3/15/14
Read Re: Structured Programming
GS Chandy
3/13/14
Read Re: Structured Programming
GS Chandy
3/14/14
Read Re: Structured Programming
kirby urner
3/14/14
Read Re: Structured Programming
GS Chandy
3/15/14
Read Re: Structured Programming
kirby urner
3/16/14
Read Re: Structured Programming
Robert Hansen
3/16/14
Read Re: Structured Programming
kirby urner
3/16/14
Read Re: Structured Programming
Robert Hansen
3/16/14
Read Re: Structured Programming
kirby urner
3/16/14
Read Re: Structured Programming
Robert Hansen
3/17/14
Read Re: Structured Programming
Joe Niederberger
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Robert Hansen
3/19/14
Read Re: Structured Programming
kirby urner
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Robert Hansen
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/19/14
Read Re: Structured Programming
Robert Hansen
3/20/14
Read Re: Structured Programming
Louis Talman
3/20/14
Read Re: Structured Programming
Robert Hansen
3/20/14
Read Re: Structured Programming
Louis Talman
3/18/14
Read Re: Structured Programming
Joe Niederberger
3/19/14
Read Re: Structured Programming
Joe Niederberger
3/19/14
Read Re: Structured Programming
Robert Hansen
3/20/14
Read Re: Structured Programming
Louis Talman
3/19/14
Read Re: Structured Programming
Joe Niederberger
3/25/14
Read Re: Structured Programming
GS Chandy

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.