Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE, Band 11)