登入選單
Google圖書搜尋
Computational Lambda-calculus and Monads
作者
Eugenio Moggi
出版1988
ISBN
OCLC:20159229
主題
Lambda calculus
An Abstract View of Programming Languages
作者
Eugenio Moggi
出版1990
ISBN
OCLC:220925919
主題
Categories (Mathematics)
Category Theory and Computer Science
作者
Eugenio Moggi / Giuseppe Rosolini
出版Springer Science & Business Media, 1997-08-20
ISBN
354063455X / 9783540634553
主題
Computers
Proceedings of the 10th Italian Conference on Theo...
作者
Giuseppe F. Italiano / Eugenio Moggi / Luigi Laura
出版World Scientific, 2007
ISBN
9789812770998 / 9812770992
主題
Computers
The Partial Lambda-calculus
作者
Eugenio Moggi
出版1988
ISBN
OCLC:475864189
主題
Lambda calculus
High-order modules and the phase distinction
作者
Robert Harper / John C. Mitchell / Eugenio Moggi
出版1989
ISBN
OCLC:634695363
Higher-order Modules and the Phase Distinction
作者
Robert Harper / John C. Mitchell / Eugenio Moggi
出版1989
ISBN
OCLC:21054877
主題
Calculus
Constructive Natural Deduction and Its "modest" In...
作者
Giuseppe Longo / Eugenio Moggi
出版1988
ISBN
OCLC:18612831
主題
Logic, Symbolic and mathematical
Proceedings of the 6th ACM SIGPLAN International C...
出版2004
ISBN
1581138199 / 9781581138191
主題
Computer science
A Category-theoretic Characterization of Functiona...
作者
Giuseppe Longo / Eugenio Moggi
出版1988
ISBN
OCLC:18612985
主題
Algebra
Category theory and computer science
作者
Eugenio Moggi / Giuseppe Rosolini
出版1997
ISBN
OCLC:878762857
PPDP '04
作者
Eugenio Moggi / David S. Warren
出版Association for Computing Machinery (ACM), 2004-01-01
ISBN
1581138199 / 9781581138191
主題
Computer science