I've wanted to do something like this since seventh grade, he admits, remembering hours spent in the company of fellow dweeblets at the keyboard of a clunky old PDP-11 mainframe, navigating the virtual dungeons of the text-based game Adventure […]

A roar of gratulatory triumph broke--a roar so loud and inspiring that for a moment the densely packed masses did not distinguish an ear-splitting outburst just in front of them.

There is an equivalence of categories between the category of simply typed lambda calculi and the category of cartesian closed categories; this was shown by Lambek and Scott.

As we pulled to a stop, a ramp was brought up to the front door and a forklift to the rear. Both doors were opened. I instructed my staff to wait, saying that none of us should leave until the casket was off and Mrs. Kennedy had deplaned.