1.

図書
図書
1. Models of sharing graphs : a categorical semantics of let and letrec
Masahito Hasegawa
出版情報: New York : Springer, 1999
シリーズ名: Distinguished dissertations
所蔵情報: 図書館
2.

図書
図書
2. Categorical logic and type theory
Bart Jacobs
出版情報: Amsterdam : Elsevier Science, c1999
シリーズ名: Studies in logic and the foundations of mathematics ; v. 141
所蔵情報: 図書館
3.

図書
図書
3. Extensional constructs in intensional type theory (hardback)
Martin Hofmann
出版情報: London ; Berlin : Springer, c1997
シリーズ名: CPHC/BCS distinguished dissertation series
所蔵情報: 図書館
4.

図書
図書
4. Basic simple type theory
J. Roger Hindley
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Cambridge tracts in theoretical computer science ; 42
所蔵情報: 図書館
5.

図書
図書
5. Isomorphisms of types : from λ-calculus to information retrieval and language design
Roberto Di Cosmo
出版情報: Boston : Birkhäuser, 1995
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
6.

図書
図書
6. Type logical grammar : categorial logic of signs (: hb ; : pb)
by Glyn V. Morrill
出版情報: Dordrecht ; Boston : Kluwer Academic, c1994
所蔵情報: 図書館
7.

図書
図書
7. Semantics of type theory : correctness, completeness, and independence results (: Basel ; : Boston)
Thomas Streicher
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in theoretical computer science
所蔵情報: 図書館
8.

図書
図書
8. A transfinite type theory with type variables
by P.B. Andrews
出版情報: Amsterdam : North-Holland, 1965
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館