↓ Skip to main content
What is this page? Embed badge

Object-Oriented Programming A Unified Foundation

Overview of attention for book
Object-Oriented Programming A Unified Foundation
Birkhäuser Basel

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Background and notation
  3. Altmetric Badge
    Chapter 2 A quick overview
  4. Altmetric Badge
    Chapter 3 Object-oriented programming
  5. Altmetric Badge
    Chapter 4 The λ&-calculus
  6. Altmetric Badge
    Chapter 5 Covariance and contravariance: conflict without a cause
  7. Altmetric Badge
    Chapter 6 Strong Normalization
  8. Altmetric Badge
    Chapter 7 Three variations on the theme
  9. Altmetric Badge
    Chapter 8 Interpretation of object-oriented languages
  10. Altmetric Badge
    Chapter 9 Imperative features and other widgets
  11. Altmetric Badge
    Chapter 10 Semantics
  12. Altmetric Badge
    Chapter 11 Introduction to part III
  13. Altmetric Badge
    Chapter 12 Second order overloading
  14. Altmetric Badge
    Chapter 13 Second order overloading and object-oriented programming
  15. Altmetric Badge
    Chapter 14 Conclusion
Attention for Chapter 6: Strong Normalization
Altmetric Badge

Citations

dimensions_citation
38 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Strong Normalization
Chapter number 6
Book title
Object-Oriented Programming A Unified Foundation
Published by
Birkhäuser Boston, January 1997
DOI 10.1007/978-1-4612-4138-6_6
Book ISBNs
978-1-4612-8670-7, 978-1-4612-4138-6
Authors

Giuseppe Castagna

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.