Click here to Remove Link to your site
 
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  

Google
"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