Binding Time: Six Studies in Programming Technology & Milieu

A collection of related but independent and critical essays addressing the relationship within the computing world between intellectual constructs, thought experiments, theories, theorems, proofs, and observable facts.