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.

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 […]