Goodreads Choice Awards 2025

Join the Goodreads Author Program

Are you Rob Nederpelt, author of the books below?
Type Theory and Formal Proof by Rob Nederpelt Type Theory and Formal Proof by Rob Nederpelt A Modern Perspective on Type Theory by F.D. Kamareddine A Modern Perspective on Type Theory by F.D. Kamareddine A Modern Perspective on Type Theory by F.D. Kamareddine A Modern Perspective on Type Theory by Fairouz D. Kamareddine A Modern Perspective on Type Theory by F.D. Kamareddine


To join the author program as Rob Nederpelt, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads