Combinators, λ-terms and proof theory

Web Site CiNii Available at 41 libraries

Bibliographic Information

Title
"Combinators, λ-terms and proof theory"
Statement of Responsibility
Sören Stenlund
Publisher
  • D. Reidel
Publication Year
  • c1972
Book size
23 cm
Other Title
  • Combinators, lambda-terms and proof theory

Search this Book/Journal

Notes

Akademisk avhandling--Uppsala

Extra t.p. with thesis statement inserted

Bibliography: p. 177-180

Includes indexes

Related Books

See more

Details 詳細情報について

Back to top