User none - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T23:55:48Z http://mathoverflow.net/feeds/user/11297 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23032/what-is-the-intuitive-meaning-of-star-and-box-in-a-pure-type-system/48220#48220 Answer by none for What is the intuitive meaning of star and box in a pure type system? none 2010-12-03T20:56:17Z 2010-12-03T20:56:17Z <p>I found J. W. Roorda's masters thesis to be a good exposition of PTS. It is linked from here:</p> <p><a href="http://people.cs.uu.nl/johanj/MSc/jwroorda/" rel="nofollow">http://people.cs.uu.nl/johanj/MSc/jwroorda/</a></p>