Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper
lindseykuper

nom.

"What are you reading about?"
"Nominal unification."
"What's nominal unification?"
"Okay, so, in regular first-order logic, you have logic variables, right? In nominal logic, you have those, but you also have these things called noms."
"..."
"...I know what you're think--"
"BEST LOGIC SYSTEM EVER."

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 

  • 6 comments