The lambda calculus : its syntax and semantics

出版社:Amsterdam ; New York : North-Holland ; New York, N.Y : Sole distributors for the U.S.A. and Canada,
ISBN:0444875085
出版年:1984
作者:Barendregt,H. P.
资源类型:图书
细分类型:西文文献
相关推荐

The lambda calculus : its syntax and semantics

  • 作者:Barendregt,H. P.
  • ISBN:0444854908
  • 出版社:Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Cana
  • 出版年:1981

Syntax and semantics

  • 作者:Sadock,Jerrold M.,
  • 出版社:New York : Academic Pr., 19 -

Formal syntax and semantics of Java

  • 作者:Alves-Foss,Jim
  • ISBN:3540661581
  • 出版社:Berlin ; New York : Springer, 1999.
  • 出版年:1999

Programming language syntax and semantics

  • 作者:Watt,David A.
  • ISBN:90025208
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1990.
  • 出版年:1991

Semantics and syntax : parallels and connections

  • 作者:Miller,J. E.
  • ISBN:0521262658
  • 出版社:Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
  • 出版年:1985

The Syntax and semantics of infinitary languages

  • 作者:Barwise,Jon,
  • 出版社:Berlin ; New York [etc.] : Springer-Verlag, 1968.
  • 出版年:1968