Categorical combinators, sequential algorithms, and functional programming | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien

版:: 2nd ed
資料種別:: 図書
出版情報:: Boston : Birkhäuser, c1993
形態:: xx, 403 p. ; 25 cm
シリーズ名:: Progress in theoretical computer science <BA1282110X>
著者名:: Curien, Pierre-Louis <DA00531051>
ISBN:: 9780817636548 [0817636544] (: us)
9783764336547 [3764336544] (: sz)
書誌ID:: BA19950508

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references (p. 381-394) and indexes 1st ed. by Pitman Publishing, 1986
主題:	Formal languages
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings Cousineau, Guy., Curien, Pierre-Louis., Robinet, Bernard., SpringerLink (Online service)	7 図書 Grammars for programming languages (: pbk) Cleaveland, J. Craig, Uzgalis, Robert C. Elsevier
2 図書 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (: gw ; : us) Laboratoire Informatique Théorique et Programmation (France). Spring School, Cousineau, Guy, Curien, Pierre-Louis, … Springer-Verlag	8 図書 Mathematical foundations of programming Beckman, Frank S. Addison-Wesley
3 電子ブック Combinators and Functional Programming Languages Cousineau SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Definition of programming languages by interpreting automata Ollongren, Alexander Academic Press
4 電子ブック Typed Lambda Calculi and Applications Curien, Pierre-Louis, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 図書 Simple program schemes and formal languages (: gw ; : us) Engelfriet, Joost Springer-Verlag
5 図書 Domains and lambda-calculi (: hardback ; : pbk) Amadio, Roberto M., Curien, Pierre-Louis Cambridge University Press	11 図書 Programs, machines, and computation : an introduction to the theory of computing Clark, Keith L., Cowell, Don McGraw-Hill
6 電子ブック Typed Lambda Calculi and Applications Curien, Pierre-Louis, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Algorithms for functional programming Stone, John David Springer

1

2

3

4

5

6

7

8

9

10

11

12