کتاب زبان اصلی Temporal Type Theory  اثر David I Spivak کتاب نظریه نوع زمانی Temporal Type Theory نوشته دیوید آی اسپیواک David I Spivak در سال 2020 منتشر شده است این کتاب به معرفی نظریه نوع زمانی به عنوان یک سیستم نوع دهی برای زبان های برنامه نویسی می پردازد که مفهوم زمان را در نظر می گیرد نظریه نوع زمانی امکان توصیف دقیق زمان وابسته به نوع را فراهم می کند این کتاب ضمن مقدمه ای بر این نظریه کاربردهای آن را در زمینه هایی مانند برنامه نویسی همزمان و هوش مصنوعی بررسی می کند