Computation and Reasoning

A Type Theory for Computer Science

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

• ISBN 10 : UOM:39015032921911
• Judul : Computation and Reasoning
• Sub Judul : A Type Theory for Computer Science
• Pengarang : Zhaohui Luo,  
• Kategori : Computers
• Bahasa : en
• Tahun : 1994
• Halaman : 248
• Google Book : http://books.google.co.id/books?id=FI5QAAAAMAAJ&dq=intitle:Computation+Thinking&hl=&source=gbs_api
• Ketersediaan :

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science.