Computation and Reasoning A Type of Theory For Computer Science Zhaohui Luo

Computation and Reasoning by Zhaohui Luo - 9780198538356

Introduction to the Theory of Computation Michael Sipser 2013 Third Edition

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (En

Farmer - Simple Type Theory A Practical Logic for Expressing and Rea - X555z

Kupferman - Foundations of Software Science and Computation Structures - X555z

Bouyer - Foundations of Software Science and Computation Structures - X555z

Dasgupta - Immunological Computation Theory and Applications - paperb - X555z