登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

A Transfinite Type Theory with Type Variables
PISBN：9780444534026
出版时间：Pre 2007
作者：P.B. Andrews
主题词：Mathematics pre-2007
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Studies in Logic and the Foundations of Mathematics
3浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

A Modern Perspective on Type Theory
  • 作者：Fairouz Kamareddine,Twan Laan,Rob Nederpelt
  • EISBN：9781402023354
  • 出版社：Springer Netherlands
  • 出版时间：2005
...

Temporal Type Theory
  • 作者：Patrick Schultz,David I. Spivak
  • EISBN：9783030007041
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Simple Type Theory
  • 作者：William M. Farmer
  • EISBN：9783031211126
  • 出版社：Springer Nature
  • 出版时间：2023
...

Semantics of Type Theory
  • 作者：T. Streicher
  • EISBN：9781461204336
  • 出版社：Birkhäuser Boston
  • 出版时间：1991
...

A Variational Theory of Convolution-Type Functionals
  • 作者：Roberto Alicandro,Nadia Ansini,Andrea Braides,Andrey Piatnitski,Antonio Tribuzio
  • EISBN：9789819906857
  • 出版社：Springer Nature
  • 出版时间：2023
...

Semantics of Type Theory
  • 作者：Thomas Streicher
  • EISBN：9781461204336
  • 出版社：Birkhäuser Boston
  • 出版时间：1991