Type theory

关于 Type theory 书籍列表

• 

  New Perspectives on Type Identity

  阅读量：0
  ISBN：9781107000148
  发布时间：2025-05-18 12:25:04

• 

  New Perspectives on Type Identity: The Mental and the Physical

  阅读量：0
  ISBN：9780511687068
  发布时间：2025-05-18 12:25:12

• 

  Foundations of Programming Languages

  阅读量：0
  ISBN：9780534391454
  发布时间：2025-05-18 18:16:45

• 

  Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)

  阅读量：0
  ISBN：9780444508539
  发布时间：2025-05-20 20:57:40