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

The Parametric Lambda Calculus
EISBN：9783662103944
PISBN：9783642057465
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：2004
作者：Simona Ronchi Della Rocca,Luca Paolini
主题词：Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Computation by Abstract Devices,Logics and Meanings of Programs,Artificial Intelligence (incl. Robotics)
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts in Theoretical Computer Science. An EATCS Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

The Parametric Lambda Calculus
  • 作者：Simona Ronchi Della Rocca,Luca Paolini
  • EISBN：9783662103944
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

The Lambda Calculus
  • 作者：Barendregt,H.P.
  • PISBN：9780444875082
  • 出版时间：Legacy
...

Semantics of the Probabilistic Typed Lambda Calculus
  • 作者：Dirk Draheim
  • EISBN：9783642551987
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2017
...

From Lambda Calculus to Cybersecurity Through Program Analysis
  • 作者：Alessandra Di Pierro,Pasquale Malacaria,Rajagopal Nagarajan
  • EISBN：9783030411039
  • 出版社：Springer International Publishing
  • 出版时间：2020

THE BACTERIOQHAGE LAMBDA
  • 作者：A.D.HERSHEY
...

Parametric Electronics
  • 作者：K.-H. Löcherer,C.-D. Brandt
  • EISBN：9783642679377
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1982