Jason (jcreed) wrote,
Jason
jcreed

Still for some reason trying to find a nice closed form for
(1 + D + D2 + ...)T
for various T, but not succeeding.

Increasingly confident that substitution inversion is the right place in higher-order unification to start thinking about types and label refinements. The formalism is still pretty tricky though.
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 

  • 8 comments