•  50
    Innovations in computational type theory using Nuprl
    with M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, and E. Moran
    Journal of Applied Logic 4 (4): 428-469. 2006.
  •  28
    It's often been said that Chomsky is to linguistics what Einstein is to physics. His 1957 treatise, Syntactic Structures, initiated the so-called Chomskyan Revolution; in that book, Chomsky proposed a new linguistic theory which defined language as an innate human faculty hard-wired into our brains. Consequently, in Chomsky's view, there is a kind of "universal grammar" underlying all languages. Imagine that an alien came to Earth and observed the way we humans communicate with each other. Accor…Read more