"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.
-
How not to email prospective grad school advisors
New blog post, in which I dispense advice. This entry was originally posted at https://lindseykuper.dreamwidth.org/35335.html. Please comment…
-
Course retrospective: SMT Solving and Solver-Aided Systems
New blog post, in which I am better late than never. This entry was originally posted at https://lindseykuper.dreamwidth.org/34629.html. Please…
-
Yet another post telling you to apply to PLMW
New blog post, in which I am back on my bullshit. This entry was originally posted at https://lindseykuper.dreamwidth.org/34546.html. Please…
- Post a new comment
- 6 comments
- Post a new comment
- 6 comments
