>> Amazon.co.jp
このページのQRコード

Models of sharing graphs : a categorical semantics of let and letrec

種類:
図書
責任表示:
Masahito Hasegawa
出版情報:
New York : Springer, 1999
著者名:
長谷川, 真人  
シリーズ名:
Distinguished dissertations <BA37476806>
ISBN:
9781852331450 [1852331453]  CiNii Books  Calil
注記:
Originally published as the author's thesis (Ph.D.--University of Edinburgh)
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Categorical logic and type theory

Jacobs, Bart

Elsevier Science
7 図書 Semantics of type theory : correctness, completeness, and independence results

Streicher, Thomas, 1958-

Birkhäuser
2 図書 Basic simple type theory

Hindley, J. Roger

Cambridge University Press
8 図書 人間の由来

Darwin, Charles, 1809-1882, 長谷川, 真理子(1952-)

講談社
3 図書 Isomorphisms of types : from λ-calculus to information retrieval and language design

Di Cosmo, Roberto, 1963-

Birkhäuser
9 図書 Time-shared computer languages : an introduction to conversational computing

Schur, Lee David

Addison-Wesley Pub. Co
4 図書 子どもの権利条約と子どもの権利条例 : 子どもの成長と発達としあわせをめざして : 日本福祉大学長谷川眞人ゼミナールの研究報告 : 大学におけるゼミナール活動で学生たちは何を学んだか

長谷川, 真人

三学出版
10 図書 Uncountably categorical theories

Zilber, Boris

American Mathematical Society
5 電子ブック Accessible categories : the foundations of categorical model theory

Makkai, Michael, 1939-, Paré, Robert, 1944-

American Mathematical Society
11 図書 児童養護施設の援助実践

長谷川, 真人(1943-), 堀場, 純矢(1975-)

三学出版
6 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937-

Springer-Verlag
12 図書 恋人選びの心 : 性淘汰と人間性の進化

Miller, Geoffrey, 1965-, 長谷川, 真理子(1952-)

岩波書店