Tipo de Livro
-Autor
-Editora
-Ano de Publicação
-Cidade
+Sebos e Livreiros
+Preço
+Categoria
+Idioma
+Avaliação
+Compra Corporativa
+Exibindo: 1 - 1 de 1 resultado
Simple Type Theory
Preface.- 1 Introduction.- 2 Answers to Readers' Questions.- 3 Preliminary Concepts.- 4 Syntax.- 5 Semantics.- 6 Additional Notation.- 7 Beta-reduction and Substitution.- 8 Proof Systems.- 9 Theories.- 10 Sequences.- 11 Developments.- 12 Real Number Mathematics.- 13 Morphisms 14 Alonzo Variants.- 15 Software Support.- Appendix A: Metatheorems of µ.- Appendix B: Soundness of µ.- Appendix...
2023