Computation and Reasoning: A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE)

Computation and Reasoning: A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE)

Computation and Reasoning: A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE)