close
1.

図書

図書
Pierre-Louis Curien
出版情報: Boston : Birkhäuser, c1993  xx, 403 p. ; 25 cm
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
2.

図書

図書
Roberto M. Amadio, Pierre-Louis Curien
出版情報: Cambridge : Cambridge University Press, 1998  xvi, 484 p ; 24cm
シリーズ名: Cambridge tracts in theoretical computer science ; 46
所蔵情報: loading…
目次情報: 続きを見る
Preface
Notation
Continuity and computability / 1:
Syntactic theory of ++-calculus / 2:
DG++ models and intersection types / 3:
Interpretation of ++-calculi in CCC's / 4:
CCC's of algebraic dcpo's / 5:
The language PCF / 6:
Domain equations / 7:
Values and computations / 8:
Powerdomains / 9:
Stone duality / 10:
Dependent and second order types / 11:
Stability / 12:
Towards linear logic / 13:
Sequentiality / 14:
Domains and realizability / 15:
Functions and processes / 16:
Summary of recursion theory / Appendix 1:
Summary of category theory / Appendix 2:
References and bibliography
Index
Preface
Notation
Continuity and computability / 1:
3.

図書

図書
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  iv, 208 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼