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

Applied Semantics

Overview of attention for book
Cover of 'Applied Semantics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Introduction to Dependent Type Theory
  3. Altmetric Badge
    Chapter 2 Monads and Effects
  4. Altmetric Badge
    Chapter 3 Abstract Machines, Control, and Sequents
  5. Altmetric Badge
    Chapter 4 Normalization and Partial Evaluation
  6. Altmetric Badge
    Chapter 5 Computing with Real Numbers
  7. Altmetric Badge
    Chapter 6 The Join Calculus: A Language for Distributed Mobile Programming
  8. Altmetric Badge
    Chapter 7 An Introduction to Functional Nets
  9. Altmetric Badge
    Chapter 8 Operational Semantics and Program Equivalence
  10. Altmetric Badge
    Chapter 9 Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa
Attention for Chapter 8: Operational Semantics and Program Equivalence
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
41 Mendeley
citeulike
2 CiteULike
Summary Dimensions citations
So far, Dimensions has found 7 publications that cite this research output.

7

The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.