Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Computer Science

Mathematical Foundations of Software Development

Lecture Notes in Computer Science, 1985, Volume 185/1985, 208-222, DOI: 10.1007/3-540-15198-2_13

“Delayability” in proofs of strong normalizability in the typed lambda Calculus

View Related Documents

Book Chapter
Equality between functionals
Harvey Friedman
Lecture Notes in Mathematics, 1975, Volume 453, Logic Colloquium, Pages 22-37
- Download PDF (577.3 KB)
Journal Article
Introduction: Proof-theoretic Semantics
Reinhard Kahle and Peter Schroeder-Heister
Synthese, 2006, Volume 148, Number 3, Pages 503-506
- Download PDF (154.8 KB)
Book Chapter
Carnap and the Perils of Ramseyfication
Thomas Uebel
2010, EPSA Epistemology and Methodology of Science, Pages 299-310
- Download PDF (171.8 KB)
- View HTML
Book Chapter
Big trees in a λ-calculus with λ-expressions as types
Roel de Vrijer
Lecture Notes in Computer Science, 1975, Volume 37, ?-Calculus and Computer Science Theory, Pages 252-271
- Download PDF (822.5 KB)

Advertisment

Abstract

Part of this work was done at Harvard University, where the author was supported by an IBM graduate fellowship.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info