Monday | 2013 September 16 | Review of Informal Lectures on Formal Semantics I wrote a review of Informal Lectures on Formal Semantics Emmon Bach, 1989, State University of New York Press. read more... |
---|---|---|
Monday | 2013 September 16 | Review of Principles of Program Analysis I wrote a review of Principles of Program Analysis Flemming Nielson, Hanne Riss Nielson, Chris Hankin, 2ed 2005, Springer. read more... |
Sunday | 2013 September 15 | Tutorials read more... |
Sunday | 2013 September 15 | Github Projects Metaphysics Engine.NET An implementation of the Metaphysics Engine using the C# and the .NET framework. read more... |
Sunday | 2013 September 15 | Interesting Video ome video that I think are interesting and worth sharing. read more... |
Sunday | 2013 September 15 | Good Blog Reads set of blogs that I've been reading and think worth sharing. read more... |
Sunday | 2013 September 15 | Good Printed Reads set of articles, books, and so on that I've been reading and think worth sharing. read more... |
Sunday | 2013 September 15 | About Montagovia This is a website to together to gather the things that I find interesting about formal semantics, intensional semantics, mathematical philosophy, and so on. read more... |