"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."
-
- Lindsey Kuper (
lindseykuper) wrote,
Lindsey Kuper
lindseykuper
nom.
-
SFoT #35
Shoebox Full of Tapes #35: Bigger Plans. One not-so-great thing about always playing music by yourself, or even with one other person, is that…
-
SFoT #34
Shoebox Full of Tapes #34: Leaving Chicago. You know, that whole "monthly podcast of songs I'm working on" description is just getting more…
-
SFoT #33
Shoebox Full of Tapes #33: The glass, all empty. (And so is this one, it turns out. And this one's close, just missing a couple lines out of…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments
