Jason (jcreed) wrote,
Jason
jcreed

Saw Dan Licata's thesis proposal. Although he said he and noam had already considered it a long time ago, I still wonder what you can do by thinking about base types as "computational" vs. "definitional" rather than imputing it to function types.
Tags: math
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments