Stewart Calculus
## Stewart Calculus

Listing for **stewart calculus**

"**Stewart Calculus" in Open Directory Categories**
(1-2 of 2)

**Science: Math: Logic and Foundations: People
** (1 match)

**Science: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus: Formulae-as-Types Correspondence: Classical Logic
**

"**Stewart Calculus" Sites**

**Stewart**, Charles

Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda **calculus**, linear logic, theoretical computer science, philosophy of language.

www.linearity.org/cas/ Science: Math: Logic and Foundations: People

A Curry-Howard Foundation for Functional Computation with Control (1997)

Article by C.-H. L. Ong and C. A. **Stewart** which presents a call-by-name variant of Parigot's lambda-mu **calculus**. The **calculus** is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.

citeseer.ist.psu.edu/ong97curryhoward.html Science: Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus: Formulae-as-Types Correspondence: Classical Logic

**Other sites:**

Remove Link