I wonder if we could do a dependently typed version of the Randomly Scoped Lambda Calculus... (p22 of http://www.sigbovik.org/2013/proceedings.pdf …)
4:20 PM - 20 Jun 2014
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.