Modal Homotopy Type Theory William J. Rothwell EAN: 9780071775847

EAN: 9780071775847

including pieces of computer code

This book explores the story of the Israelites' worship of the Golden Calf in its Jewish

Once you have registered your child onli ne

Modal Homotopy Type Theory William J. Rothwell EAN: 9780071775847"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic modal homotopy type theory. Homotopy type theory