Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
by Zhaohui Luo
A foundational exploration of type theory for computation and reasoning in computer science.
About This Book
This book presents a type theory designed for computer science applications.
It covers computation and reasoning within formal systems.
The work is part of the International Series of Monographs on Computer Science.
Reviews
No reviews yet. Be the first to review this book!