A Property Kind Calculus for Measurement Metrology

36.2. Index🔗

Every defining site also marks an index entry, and chapters may mark further entries at the places a reader would look a term up. The index below is generated from those marks.

A

  1. assembly
  2. assumption ledger
  3. attestation

B

  1. blueprint dependency graph
  2. boundary audit

C

  1. carrier ladder
  2. checked ingest
  3. compacted tape
  4. computational tape graph
  5. constant mint
  6. contracted tape graph
  7. crossing

D

  1. declared boundary
  2. denotation bridge
  3. dimensional homogeneity

E

  1. emission
  2. empirical requirement
  3. evidence tier

H

  1. harvest

I

  1. influencers

K

  1. kind-of-property
  2. kind-transporting weak bisimulation

L

  1. license clause

M

  1. measurement model
  2. metrological provenance hypergraph
  3. metrology module

P

  1. pedigree
  2. propagation relation
  3. provable requirement

R

  1. recording carrier
  2. referent
  3. requirement
  4. requirement scope

S

  1. seal of a module
  2. seal of the computation
  3. specification boundary
  4. spot check

T

  1. tape

V

  1. value-flow digraph