Foundations of Computing: Type Semantics and Theory (1999/2000)