We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Free UK shipping on

10 million books

Modal Homotopy Type Theory


Product Description
Product Details

Table of Contents

1: A path to a new logic 2: Dependent types 3: Homotopy types 4: Modal types 5: Spatial types 6: Conclusion

About the Author

David Corfield has been a Senior Lecturer since 2009 in the Department of Philosophy at the University of Kent, which he joined in 2007. His principal areas of research are philosophy of mathematics and philosophy of medicine. As regards to the former, his work has not only been closely studied by other philosophers, but has also been appreciated by some of the world's leading mathematicians internationally recognised as an exponent of a new style of work which pays much closer attention to the practice of mathematicians.

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond World Ltd.
Back to top