Toggle Navigation
Heurist.org
Search
Search
Advanced Search
Guest
Uploading...
Please do not refresh the page
.
Browse
Books
Hot Books
Top Rated Books
Discover
Categories
Series
Authors
Publishers
Languages
Ratings
File formats
Shelves
Adam Smith (Public)
Arnold Joseph Toynbee (Public)
Ayn Rand (Public)
Carl Gustav Jung (Public)
Charles Dickens (Public)
Charlotte Thompson Iserbyt (Public)
ChatGPT (Public)
Dante Alighieri (Public)
Edmund Burke (Public)
Friedrich August Hayek (Public)
Fyodor Dostoevsky (Public)
Gottfried Willhelm Leibniz (Public)
Hans-Hermann Hoppe (Public)
Henry Hazlitt (Public)
Henry S. George (Public)
Hunter Lewis (Public)
Ian Nicholas Stewart (Public)
John Taylor Gatto (Public)
Ken E. Wilber (Public)
Ludwig von Mises (Public)
Mathematica / Wolfram (Public)
Milton Friedman (Public)
Mortimer Jerome Adler (Public)
Murray Newton Rothbard (Public)
Nassim Haramein (Public)
Nicola Tesla (Public)
Peter J. Kreeft (Public)
Plotinus (Public)
Ronald H. Nash (Public)
Rupert Sheldrake (Public)
Stephen R. C. HIcks (Public)
TeX/LaTeX (Public)
Thomas E. Woods Jr. (Public)
Thomas Sowell (Public)
Interfaces as Functors, Programs as Coalgebras - a Final Coalgebra Theorem in Intensional Type Theory - Paper
Markus Michelbrink
×
Book Details
...