An example of algorithm development in Intuitionistic Type Theory
An example of algorithm development in Intuitionistic Type Theory
Steve Reeves
Details
OL Work ID
OL4463627W
Find this book
Open Library