Jason (jcreed) wrote,
Jason
jcreed

-

Ran into a snag with the proof: descending into lambdas
breaks the idea of reducing away all of the iteration
from an almost-closed (i.e. only diamonds are free variables)
term. It might take some time before a counterexample
or workaround reveals itself, I think.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 0 comments