上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Type theory)
該当件数:9件
Modern perspectives in type-theoretical semantics / Stergios Chatzikyriakidis, Zhaohui Luo, editors
: hardcover. - [Cham] : Springer , c2017. - (Studies in linguistics and philosophy ; v. 98)
図書 <1002915877>
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
Orlando : Academic Press , 1986. - (Computer science and applied mathematics.)
図書 <1000630951>
Type-theoretical grammar / Aarne Ranta
Oxford [England] : Clarendon Press. - New York : Oxford University Press , 1994. - (Indices ; 1)
図書 <1000515315>
Type logical grammar : categorial logic of signs / by Glyn V. Morrill
Dordrecht ; Boston : Kluwer Academic Publishers , c1994
図書 <1000515913>
Models of sharing graphs : a categorical semantics of let and letrec / Masahito Hasegawa
New York : Springer , c1999. - (Distinguished dissertations)
図書 <1001127326>
Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [et al.] (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1956)
図書 <1001224322>
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan ... [et al.] (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2277)
図書 <1001363931>
Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1657)
図書 <1001084296>
Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1512)
図書 <1001038063>