Lambda Calculus
Type inhabitation problem for simply typed lambda calculus
Read more about this topic: List Of PSPACE-complete Problems
Famous quotes containing the word calculus:
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)