Derivation and computation: taking the Curry-Howard correspondence seriously 0521771730, 9780521771733

193 97 4MB

English Pages XXV-384 p.; 24 cm [412] Year 2000

Table of contents :
Introduction
Preview
Part I. Development and Exercises: 1. Derivation systems
2. Computation mechanisms
3. The typed combinator calculus
4. The typed l-calculus
5. Substitution algorithms
6. Applied l-calculi
7. Multi-recursive arithmetic
8. Ordinals and ordinal notation
9. Higher order recursion
Part II. Solutions: A. Derivation systems
B. Computation mechanisms
C. The typed combinator calculus
D. The typed l-calculus
E. Substitution algorithms
F. Applied l-calculi
G. Multi-recursive arithmetic
H. Ordinals and ordinal notation
I. Higher order recursion
Postview
Bibliography
Commonly used symbols
Index.

Derivation and computation: taking the Curry-Howard correspondence seriously
0521771730, 9780521771733

Author / Uploaded
Simmons
Harold

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Taking Faith Seriously 9780674020481

The relation between religion and liberal democracy in America has long been vexed and complex—and crucial to what it is

123 15 780KB Read more

Taking Socialism Seriously 9780739166352, 0739166352

Capitalism is in crisis. Is a better world possible and what would it look like? Taking Socialism Seriously breaks impor

354 24 1MB Read more

Taking Wrongs Seriously: Apologies and Reconciliation 9780804767804

Since the end of the Cold War, and particularly during the last fifteen years, the human need to amend immoral wrongs ha

113 74 24MB Read more

Taking Public Universities Seriously 9781442680333

Taking Public Universities Seriously includes all the papers given at this conference, and is enhanced by a comprehensiv

137 111 1MB Read more

Taking South Park Seriously 0791475662, 9780791475669

374 107 1MB Read more

Taking Public Universities Seriously [1 ed.] 9781442680333, 9780802093769

The Government of Ontario recently announced a comprehensive review of the design and funding of the province's pos

136 21 2MB Read more

Taking Pluralism Seriously: Complex Societies under Scrutiny 9780228013136

Creating pathways toward peaceful cohabitation as liberal democracies diversify and minorities demand recognition and ac

100 25 1MB Read more

Taking Darwin Seriously: A Naturalistic Approach to Philosophy 0631154787, 9780631154785

335 108 19MB Read more

Taking Philosophy Seriously [1 ed.] 152750896X, 9781527508965

Taking Philosophy Seriously initiates a meta-philosophical dialogue that challenges the division between academic and pr

414 21 4MB Read more

Taking God Seriously: Two Different Voices 1108491073, 9781108491075

Is debate on issues related to faith and reason still possible when dialogue between believers and non-believers has col

287 42 1MB Read more