Isbn: 9787302660354 - 现代类型论的发展与应用 (1 resultados)

paperback. Condición: New. Paperback.Pub Date:2024-04 Pages:213 Publisher:Tsinghua University Press This book is a monograph on modern type theory. Similar to set theory. modern type theory is the basic language of mathematics and many other fields. This book introduces modern type theory (and its meta-theory). and uses natural language semantics and computer-assisted reasoning as examples to discuss in-depth and easy-to-understand application fields based on modern type theory. As a basic language. modern type theory .…