 |
|
| Blog results | Results 1 - 2 of 2 linking to http://goodmath.blogspot.com/2006/06/finally-modeling-lambda-calculus.html. (0.04 seconds) |
| Sorted by relevance Sort by date |
| 31 Jul 2006 today we'll finally get to building the categories that provide the model for the multiplicative linear logic. before we jump into that, i want to explain why it is that we separate out the multiplicative part. ... Good Math, Bad Math - http://scienceblogs.com/goodmath/ - References |
| 18 Jul 2006 by Mark C. Chu-Carroll monday, i said that i needed to introduce the sequent calculus, because it would be useful for describing things like linear logic. today we're going to take a quick look at linear logic - in particular, at propositional linear logic; ... Good Math, Bad Math - http://scienceblogs.com/goodmath/ - References |
Stay up to date on these results:
| Google Home - About Google Blog Search Beta - Information for Blog Authors |
