CiNii 図書 - Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

<!DOCTYPE html> <html lang="ja" itemscope itemtype="http://schema.org/Book"> <head> <script type="text/javascript" src="/books/js/preview.js?V171012"></script> <script type="text/javascript" src="/books/js/elinklist_disclosure.js?V141104"></script> <meta http-equiv="content-type" content="text/html; charset=utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" /> <meta http-equiv="content-style-type" content="text/css" /> <meta http-equiv="content-script-type" content="text/javascript" /> <meta name="viewport" content="width=device-width,user-scalable=no" /> <meta name="format-detection" content="telephone=no"> <link rel="stylesheet" type="text/css" href="/books/style/slick.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-theme.css?V190423"> <link rel="stylesheet" type="text/css" href="/books/style/slick-ext.css?V190423"> <link rel="shortcut icon" href="/books/images/favicon.ico" type="image/vnd.microsoft.icon" /> <link href="/books/style/cinii.css?V202209" rel="stylesheet" type="text/css" /> <script type="text/javascript" src="/books/js/jquery-3.7.1.min.js"></script> <script type="text/javascript" src="/books/js/bootstrap.min.js"></script> <script type="text/javascript" src="/books/js/cinii.js?V151027"></script> <script type="text/javascript" src="/books/js/html5shiv-printshiv.min.js"></script> <script type="text/javascript" src="/books/js/respond.min.js"></script> <script type="text/javascript" src="/books/js/common.js?V240716"></script> <script type="text/javascript" src="/books/js/changeDisplayMode.js?V190913"></script> <script type="text/javascript" src="/books/js/transferParameterCir.js?240724"></script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-5YXF8KWH9K"></script> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books" href="/books/opensearch/description.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Exact title match" href="/books/opensearch/exact-title.xml" /> <link rel="search" type="application/opensearchdescription+xml" title="CiNii Books - Author Search" href="/books/opensearch/author.xml" />  <title>CiNii 図書 - Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings</title> <link rel="meta" type="application/rdf+xml" title="RDF" href="/ncid/BA51819403.rdf" /> <link rel="meta" type="application/json" title="JSON-LD 1.0" href="/ncid/BA51819403.json" /> <link rel="canonical" href="https://ci.nii.ac.jp/ncid/BA51819403" /> <link rel="amphtml" href="https://ci.nii.ac.jp/ncid/BA51819403.amp" /> <meta name="dc.title" content="Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings" /> <meta name="dc.creator" content="International Conference on Typed Lambda Calculi and Applications" /> <meta name="dc.creator" content="Abramsky, Samson" /> <meta name="dc.publisher" content="Springer-Verlag" /> <meta name="dc.date" content="2001" /> <meta name="dc.type" content="book" /> <meta name="citation_abstract_html_url" content="https://ci.nii.ac.jp/ncid/BA51819403" /> <meta property="og:title" content="CiNii 図書 - Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings" /> <meta property="og:description" content="Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings Samson Abramsky (ed.) （Lecture notes in computer science, 2044） Springer-Verlag, c2001" /> <meta property="og:type" content="book" /> <meta property="og:url" content="https://ci.nii.ac.jp/ncid/BA51819403" /> <meta property="og:site_name" content="CiNii Books" /> <meta property="fb:admins" content="701886930" /> <meta name="twitter:card" content="summary" /> <meta name="twitter:site" content="@cinii_jp" /> <meta itemprop="name" content="CiNii 図書 - Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings" /> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Article", "name": "Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings", "author": { "@type": "Person", "name": "Samson Abramsky (ed.)" }, "publisher": { "@type":"Organization", "name": "Springer-Verlag" }, "datePublished": "c2001", "description": "Includes bibliographies and index\nInvited Lectures.- Many Happy Re urns.- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour.- Definability of Total Objects in PCF and Related Calculi.- Categorical Semantics of Control.- Contributed Papers.- Representations of First Order Function Types as Terminal Coalgebras.- A Finitary Subsystem of the Polymorphic ?-Calculus.- Sequentiality and the ?-Calculus.- Logical Properites of Name Restriction.- Subtyping Recursive Games.- Typing Lambda Terms in Elementary Logic with Linear Constraints.- Ramied Recurrence with Dependent Types.- Game Semantics for the Pure Lazy ?-Calculus.- Reductions, intersection types, and explicit substitutions.- The Stratified Foundations as a Theory Modulo.- Normalization by Evaluation for the Computational Lambda-Calculus.- Induction Is Not Derivable in Second Order Dependent Type Theory.- Strong Normalization of Classical Natural Deduction with Disjunction.- Partially Additive Categories and Fully Complete Models of Linear Logic.- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.- The Finitely Generated Types of the ?-Calculus.- Deciding Monadic Theories of Hyperalgebraic Trees.- A Deconstruction of Non-deterministic Classical Cut Elimination.- A Token Machine for Full Geometry of Interaction (Extended Abstract).- Second-Order Pre-logical Relations and Representation Independence.- Characterizing Convergent Terms in Object Calculi via Intersection Types.- Parigot's Second Order ??-Calculus and Inductive Types.- The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping.- Evolving Games and Essential Nets for Affine Polymorphism.- Retracts in Simple Types.- Parallel Implementation Models for the ?-Calculus Using the Geometry of Interaction (Extended Abstract).- The complexity of ?-reduction in low orders.- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.\nThis book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.\n", "url": "https://ci.nii.ac.jp/ncid/BA51819403", "headline": "Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings" } </script></head> <body class="books detail with_sidenavi"> <nav class="navbar navbar-header"> <div class="navbar-topcontent"> <a href="/books/" id="system_ci_jp" class="navbar-brand headerlogo">CiNii 国立情報学研究所学術情報ナビゲータ[サイニィ]</a>  <button type="button" class="navbar-toggle button-menu collapsed" data-toggle="collapse" data-target="#nav-content"> メニュー </button> <button type="button" class="navbar-toggle button-search collapsed" data-toggle="collapse" data-target="#searchbox"> 検索 </button> </div> <div id="nav-content" class="collapse navbar-collapse headermenu"> <ul class="nav navbar-nav menu-service-list"> <li><a href="https://cir.nii.ac.jp/" onclick="return transferParameterCir(this, 'https://cir.nii.ac.jp', true, 'cir');" class="menu-service-item"><div>論文・データをさがす</div></a></li> <li class="active"><a href="/books/" class="menu-service-item"><div>大学図書館の本をさがす</div></a></li> <li><a href="/d/?l=ja" onclick="return transferParameterCir(this, '', true, 'cid');" class="menu-service-item"><div>日本の博士論文をさがす</div></a></li> </ul> <ul class="nav navbar-nav menu-utility-list"> <li><a href="https://auth.cir.nii.ac.jp/user/auth/login?contentsServer=BOOKS" class="menu-utility-item">ログイン</a></li> <li><a href="/ncid/BA51819403?l=en" class="menu-utility-item">English</a></li> </ul> </div> </nav> <div class="container body-wrap"> <div id="searchbox" class="searchbox"> <div class="book_search searchFormContainer"> <div id ="searchformcontents" class="searchformcontents container-fluid"> <div class="searchboxheader row"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="tab_index"> <ul class="tab_index_list"> <li class="tab_index_item tab_index_item-active"> <a id="tab-book_search" class="tab-index-content" href="javascript:void(0);" >図書・雑誌検索</a> </li> <li class=" tab_index_item"> <a id="tab-author_search" class="tab-index-content" href="javascript:void(0);">著者検索</a> </li> <li class=" tab_index_item"> <a id="tab-content_search" class="tab-index-content" href="javascript:void(0);">内容検索</a> </li> </ul> </div> </div> </div> <form id="searchbooksform" name="searchbooksform" action="/books/search" method="get" onsubmit="return searchBooks(this, false);"> <input type="hidden" name="advanced" id="hidden_advanced" value="false" /> <input type="hidden" name="count" id="hidden_count" value="20" /> <input type="hidden" name="sortorder" id="hidden_sortorder" value="3" /> <div class="row form-tabcontent form-books"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="q" id="freetextbox" class="main_srchterm searchforminput" value="" onkeypress="return submitByEnter(this);" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" id="book_srchbtn_nrml" alt="検索" value="" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> </div> </div> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row filter_radiobtnbox"> <div class="col-xs-12 col-sm-9 filter_segmentControl"> <div class="row"> <div class="col-xs-12 col-sm-2 filter_radiobtnbox-segmentarea1"> <label for="filter_all_advanced" class="segment1 checked"><input type="radio" name="type" value="0" id="filter_all_advanced" checked="checked" />すべての資料</label> </div> <div class="col-xs-12 col-sm-3 filter_radiobtnbox-segmentarea2"> <label for="filter_fulltext_advanced" class="segment2"><input type="radio" name="type" value="1" id="filter_fulltext_advanced" />図書</label> </div> <div class="col-xs-12 col-sm-7 filter_radiobtnbox-segmentarea3"> <label for="filter_includeLinks_advanced" class="segment3"><input type="radio" name="type" value="2" id="filter_includeLinks_advanced" />雑誌</label> </div> </div> </div> <div class="col-xs-12 col-sm-3 advsearchbtn-area"> <a id="btn-toggle-advsearch-top" class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">詳細検索</span></a> </div> </div> </div> <div id="advanced_search" class="col-xs-12 col-sm-12 advanced_search"> <div class="row"> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt1">タイトル</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt1" name="title" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="exact_title"><input type="checkbox" class="cb" id="exact_title" name="title_exact" value="true" >タイトル完全一致</label> <label for="include_utl"><input type="checkbox" class="cb" id="include_utl" name="include_utl" value="true" >統一タイトルを含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"><label for="sopt2">著者名</label></div> <div class="col-xs-12 col-sm-5 col-form"><input type="text" id="sopt2" name="author" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> <div class="col-xs-12 col-sm-5 col-form advinput_chk"> <label for="include_alias" class="customCB"><input type="checkbox" class="cb" id="include_alias" name="include_alias" value="true" >別名を含む</label> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt3">著者ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt3" name="authorid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt4">統一タイトルID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt4" name="utid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt5">出版者</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt5" name="publisher" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt6">ISBN</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt6" name="isbn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt7">ISSN</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt7" name="issn" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt8">NCID</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt8" name="ncid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt9">件名</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt9" name="subject" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt10">分類</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt10" name="clas" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt11">注記</label></div> <div class="col-xs-12 col-sm-7 col-form"><input type="text" id="sopt11" name="note" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="slct-typecode-gmd">資料種別</label></div> <div class="col-xs-12 col-sm-6 col-form"> <select name="gmd" class="slct-typecode searchforminput" id="slct-typecode-gmd"> <option value="">すべての資料種別</option> <option value="_">図書・雑誌</option> <option value="a">地図資料</option> <option value="b">文字資料（点字）</option> <option value="c">楽譜（印刷）</option> <option value="d">文字資料（書写資料）</option> <option value="e">地図（書写資料）</option> <option value="f">楽譜（書写資料）</option> <option value="g">静止画像（投影）</option> <option value="h">マイクロ形態</option> <option value="k">静止画像（非投影）</option> <option value="m">映画</option> <option value="s">録音資料（音楽）</option> <option value="t">録音資料（非音楽）</option> <option value="v">ビデオレコード</option> <option value="w">機械可読データファイル</option> <option value="x">3次元工芸品,自然の事物</option> <option value="y">キット</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt13">言語種別</label></div> <div class="col-xs-12 col-sm-7 col-form"> <div class="langControls"> <span class="langselect"> <select name="lang1" class="slct-langcode searchforminput"> <option value="">すべての言語</option> <option value="jpn">日本語</option> <option value="eng">英語</option> <option value="ger">ドイツ語</option> <option value="fre">フランス語</option> <option value="chi">中国語</option> <option value="rus">ロシア語</option> <option value="spa">スペイン語</option> <option value="ita">イタリア語</option> <option value="kor">韓国・朝鮮語</option> <option value="ara">アラビア語</option> </select> </span> <span class="langcode"><input type="text" id="sopt13" name="lang" class="searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="コード" /></span> </div> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt14">出版年</label></div> <div class="col-xs-12 col-sm-7 "> <input type="text" id="sopt14" name="year_from" class="degreeconferment_year" onkeypress="return submitByEnter(this);" maxlength="4" value="" /> <span class="unit">年から</span> <input type="text" id="sopt14-2" name="year_to" class="degreeconferment_year" maxlength="4" onkeypress="return submitByEnter(this);" value="" /> <span class="unit">年まで</span> </div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-6 searchformlabel"><label for="sopt15">図書館ID</label></div> <div class="col-xs-12 col-sm-6 col-form"><input type="text" id="sopt15" name="fano" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt16">機関ID</label></div> <div class="col-xs-12 col-sm-7 "><input type="text" id="sopt16" name="kid" class="searchforminput" onkeypress="return submitByEnter(this);" value="" /></div> </div> </div> <div class="col-xs-12 col-sm-4"> <div class="row row-textform"> <div class="col-xs-12 col-sm-5 searchformlabel"><label for="sopt17">地域</label></div> <div class="col-xs-12 col-sm-7 col-form"> <select name="area" class="slct-kencode searchforminput" id="sopt17"> <option value="">すべての地域</option> <option value="01" class="ken">北海道</option> <option value="02 03 04 05 06 07 " class="region">東北地方</option> <option value="02" class="ken">青森</option> <option value="03" class="ken">岩手</option> <option value="04" class="ken">宮城</option> <option value="05" class="ken">秋田</option> <option value="06" class="ken">山形</option> <option value="07" class="ken">福島</option> <option value="08 09 10 11 12 13 14 " class="region">関東地方</option> <option value="08" class="ken">茨城</option> <option value="09" class="ken">栃木</option> <option value="10" class="ken">群馬</option> <option value="11" class="ken">埼玉</option> <option value="12" class="ken">千葉</option> <option value="13" class="ken">東京</option> <option value="14" class="ken">神奈川</option> <option value="15 16 17 18 19 20 " class="region">北陸・甲信越地方</option> <option value="15" class="ken">新潟</option> <option value="16" class="ken">富山</option> <option value="17" class="ken">石川</option> <option value="18" class="ken">福井</option> <option value="19" class="ken">山梨</option> <option value="20" class="ken">長野</option> <option value="21 22 23 24 " class="region">東海地方</option> <option value="21" class="ken">岐阜</option> <option value="22" class="ken">静岡</option> <option value="23" class="ken">愛知</option> <option value="24" class="ken">三重</option> <option value="25 26 27 28 29 30 " class="region">関西地方</option> <option value="25" class="ken">滋賀</option> <option value="26" class="ken">京都</option> <option value="27" class="ken">大阪</option> <option value="28" class="ken">兵庫</option> <option value="29" class="ken">奈良</option> <option value="30" class="ken">和歌山</option> <option value="31 32 33 34 35 36 37 38 39 " class="region">中国・四国地方</option> <option value="31" class="ken">鳥取</option> <option value="32" class="ken">島根</option> <option value="33" class="ken">岡山</option> <option value="34" class="ken">広島</option> <option value="35" class="ken">山口</option> <option value="36" class="ken">徳島</option> <option value="37" class="ken">香川</option> <option value="38" class="ken">愛媛</option> <option value="39" class="ken">高知</option> <option value="40 41 42 43 44 45 46 47 " class="region">九州・沖縄地方</option> <option value="40" class="ken">福岡</option> <option value="41" class="ken">佐賀</option> <option value="42" class="ken">長崎</option> <option value="43" class="ken">熊本</option> <option value="44" class="ken">大分</option> <option value="45" class="ken">宮崎</option> <option value="46" class="ken">鹿児島</option> <option value="47" class="ken">沖縄</option> <option value="151 152 153 " class="region">アジア地域</option> <option value="151" class="ken">韓国</option> <option value="152" class="ken">中国</option> <option value="153" class="ken">タイ</option> <option value="254 255 256 257 258 259 260 261 " class="region">ヨーロッパ地域</option> <option value="254" class="ken">イギリス</option> <option value="255" class="ken">ドイツ</option> <option value="256" class="ken">スイス</option> <option value="257" class="ken">フランス</option> <option value="258" class="ken">ベルギー</option> <option value="259" class="ken">オランダ</option> <option value="260" class="ken">スウェーデン</option> <option value="261" class="ken">ノルウェー</option> <option value="362 " class="region">北米地域</option> <option value="362" class="ken">アメリカ</option> <option value="__" class="region">その他海外</option> </select> </div> </div> </div> <div class="col-xs-12 col-sm-12"> <div class="row row-textform"> <div class="col-xs-12 col-sm-2 searchformlabel"></div> <div class="col-xs-12 col-sm-10 col-form advinput_chk chk-keep-condition"> <label for="chk_keep_condition"><input name="keep_condition" class="cb" id="chk_keep_condition" type="checkbox" value="true" />図書館ID・機関ID・地域を記憶する</label> <input name="update_keep" type="hidden" value="true"> <script type="text/javascript"> //<![CDATA[ document.write("<label for=\"script_r2k_advanced\"><input type=\"checkbox\" class=\"cb\" id=\"script_r2k_advanced\"/>ローマ字をカナに変換 </label>"); //]]> </script> </div> </div> </div> <div class="col-xs-12 visible-xs-block text-center"> <button class="btn searchbtn" onclick="return searchBooks(this.form, false);" type="submit">検索</button> </div> <div id="btn-toggle-advsearch-bottom" class="col-xs-12 visible-xs-block advsearchbtn-area"> <a class="btn-toggle-advsearch collapsed" data-toggle="collapse" data-target="#advanced_search"><span class="btn-toggle-advsearch-label">閉じる</span></a> </div> </div> </div> </div> </form> <form id="searchnamesform" name="searchnamesform" action="/books/author" method="get" onsubmit="return searchNames(this, false);"> <input type="hidden" name="count" value="20" /> <input type="hidden" name="sortorder" value="2" /> <div class="row form-tabcontent form-author"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="name" id="authname_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="著者名" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchNames(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> <form id="searchcontentsform" name="searchcontentsform" action="/books/contents" method="get" onsubmit="return searchContents(this, false);"> <input type="hidden" name="count" value="20" > <input type="hidden" name="sortorder" value="3" > <div class="row form-tabcontent form-content"> <div class="col-xs-12 col-sm-10 col-sm-offset-2"> <div class="row row-textform"> <div class="col-xs-9 col-sm-9 col-form"> <input type="text" name="contents" id="contents_textbox" class="main_srchterm searchforminput" onkeypress="return submitByEnter(this);" value="" placeholder="フリーワード" /> </div> <div class="col-xs-3 col-sm-3"> <button class="btn searchbtn" onclick="return searchContents(this.form, false);" type="submit">検索</button> </div> </div> </div> </div> </form> </div> </div> </div> <script type="text/javascript" src="/books/js/searchbox_disclosure.js?V240716"></script> <script type="text/javascript" src="/books/js/utils.js?V190913"></script> <script type="text/javascript"> window.initSearchBox('book', false); </script> <div class="servicestop_information"><div id="servicestop_information"> <ul><li><a href="https://support.nii.ac.jp/ja/cir/cib_integration">【2023年10月31日掲載】CiNii BooksのCiNii Researchへの統合について</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/20250227">英国Nielsen Book Services社提供データの削除について</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/20250318">CiNiiのサービスに関するアンケートを実施中です（期間：2025年3月18日(火)から2025年4月17日(木)まで）</a></li> </ul> </div> </div> <div class="container-hasSubnav"> <div class="maincontents"> <div id="itemdatatext" class="itemdatatext"> <div class="itemheading paperdata"> <h1 class="book_class entry-title"> <span>Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings</span> </h1> <div id="authors" class="authorsContainer hidden-xs"> <ul> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07209330"> <span class="authorname fn">International Conference on Typed Lambda Calculi and Applications</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA0188858X"> <span class="authorname fn">Abramsky, Samson</span> </a> </li> </ul> </div> </li> </ul> </div> <div id="numofrelateditem"> <ul> <li class="referencelink"><a href="#ref">関連文献: 1件</a></li> </ul> </div> </div> <div class="sectionofdata visible-xs"> <h2 class="heading">著者</h2> <div class="authorsContainer"> <ul class="row"> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA07209330"> <span class="fn">International Conference on Typed Lambda Calculi and Applications</span> </a> </li> </ul> </div> </li> <li class="authorslist"> <div class="authordata author vcard"> <ul> <li class="authorname"> <a href="/author/DA0188858X"> <span class="fn">Abramsky, Samson</span> </a> </li> </ul> </div> </li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">書誌事項</h2> <div class="dataContainer bibliographicdata"> <p class="bblp-title trd">Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings</p> <p class="bblp-author al">Samson Abramsky (ed.)</p> <p class="bblp-series ptbtr-ptbno">（Lecture notes in computer science, 2044）</p> <p class="bblp-publish publ-pubdt">Springer-Verlag, c2001</p> <ul class="bblp-vols vlsr clearfix"> </ul> <p class="bblp-type gmd"></p> </div> </div> <div class="sectionofdata" id="anc-library-top"> <div class="listheading"> <h2 class="heading" id="anc-library">大学図書館所蔵&emsp;<span class="library-fulfillNum"><span id="pNummatches"><span id="numFiltered"></span>件 / </span>全<span class="numoflibrary">39</span>件</span></h2> <script type="text/javascript"> //<![CDATA[ var libraryFilteringSource = "<div class=\"library-filtering clearfix\">" + "<p>" + "<select id=\"kcFilter\" class=\"filter-kencode\" onchange=\"onFilterChanged()\">" + "<option filter=\"kc\" selected=\"selected\" value=\"null\">すべての地域</option>" + "<option filter=\"kc\" value=\"01\" class=\"ken\">北海道</option>" + "<option filter=\"kc\" value=\"02 03 04 05 06 07 \" class=\"region\">東北地方</option>" + "<option filter=\"kc\" value=\"02\" class=\"ken\">青森</option>" + "<option filter=\"kc\" value=\"03\" class=\"ken\">岩手</option>" + "<option filter=\"kc\" value=\"04\" class=\"ken\">宮城</option>" + "<option filter=\"kc\" value=\"05\" class=\"ken\">秋田</option>" + "<option filter=\"kc\" value=\"06\" class=\"ken\">山形</option>" + "<option filter=\"kc\" value=\"07\" class=\"ken\">福島</option>" + "<option filter=\"kc\" value=\"08 09 10 11 12 13 14 \" class=\"region\">関東地方</option>" + "<option filter=\"kc\" value=\"08\" class=\"ken\">茨城</option>" + "<option filter=\"kc\" value=\"09\" class=\"ken\">栃木</option>" + "<option filter=\"kc\" value=\"10\" class=\"ken\">群馬</option>" + "<option filter=\"kc\" value=\"11\" class=\"ken\">埼玉</option>" + "<option filter=\"kc\" value=\"12\" class=\"ken\">千葉</option>" + "<option filter=\"kc\" value=\"13\" class=\"ken\">東京</option>" + "<option filter=\"kc\" value=\"14\" class=\"ken\">神奈川</option>" + "<option filter=\"kc\" value=\"15 16 17 18 19 20 \" class=\"region\">北陸・甲信越地方</option>" + "<option filter=\"kc\" value=\"15\" class=\"ken\">新潟</option>" + "<option filter=\"kc\" value=\"16\" class=\"ken\">富山</option>" + "<option filter=\"kc\" value=\"17\" class=\"ken\">石川</option>" + "<option filter=\"kc\" value=\"18\" class=\"ken\">福井</option>" + "<option filter=\"kc\" value=\"19\" class=\"ken\">山梨</option>" + "<option filter=\"kc\" value=\"20\" class=\"ken\">長野</option>" + "<option filter=\"kc\" value=\"21 22 23 24 \" class=\"region\">東海地方</option>" + "<option filter=\"kc\" value=\"21\" class=\"ken\">岐阜</option>" + "<option filter=\"kc\" value=\"22\" class=\"ken\">静岡</option>" + "<option filter=\"kc\" value=\"23\" class=\"ken\">愛知</option>" + "<option filter=\"kc\" value=\"24\" class=\"ken\">三重</option>" + "<option filter=\"kc\" value=\"25 26 27 28 29 30 \" class=\"region\">関西地方</option>" + "<option filter=\"kc\" value=\"25\" class=\"ken\">滋賀</option>" + "<option filter=\"kc\" value=\"26\" class=\"ken\">京都</option>" + "<option filter=\"kc\" value=\"27\" class=\"ken\">大阪</option>" + "<option filter=\"kc\" value=\"28\" class=\"ken\">兵庫</option>" + "<option filter=\"kc\" value=\"29\" class=\"ken\">奈良</option>" + "<option filter=\"kc\" value=\"30\" class=\"ken\">和歌山</option>" + "<option filter=\"kc\" value=\"31 32 33 34 35 36 37 38 39 \" class=\"region\">中国・四国地方</option>" + "<option filter=\"kc\" value=\"31\" class=\"ken\">鳥取</option>" + "<option filter=\"kc\" value=\"32\" class=\"ken\">島根</option>" + "<option filter=\"kc\" value=\"33\" class=\"ken\">岡山</option>" + "<option filter=\"kc\" value=\"34\" class=\"ken\">広島</option>" + "<option filter=\"kc\" value=\"35\" class=\"ken\">山口</option>" + "<option filter=\"kc\" value=\"36\" class=\"ken\">徳島</option>" + "<option filter=\"kc\" value=\"37\" class=\"ken\">香川</option>" + "<option filter=\"kc\" value=\"38\" class=\"ken\">愛媛</option>" + "<option filter=\"kc\" value=\"39\" class=\"ken\">高知</option>" + "<option filter=\"kc\" value=\"40 41 42 43 44 45 46 47 \" class=\"region\">九州・沖縄地方</option>" + "<option filter=\"kc\" value=\"40\" class=\"ken\">福岡</option>" + "<option filter=\"kc\" value=\"41\" class=\"ken\">佐賀</option>" + "<option filter=\"kc\" value=\"42\" class=\"ken\">長崎</option>" + "<option filter=\"kc\" value=\"43\" class=\"ken\">熊本</option>" + "<option filter=\"kc\" value=\"44\" class=\"ken\">大分</option>" + "<option filter=\"kc\" value=\"45\" class=\"ken\">宮崎</option>" + "<option filter=\"kc\" value=\"46\" class=\"ken\">鹿児島</option>" + "<option filter=\"kc\" value=\"47\" class=\"ken\">沖縄</option>" + "<option filter=\"kc\" value=\"151 152 153 \" class=\"region\">アジア地域</option>" + "<option filter=\"kc\" value=\"151\" class=\"ken\">韓国</option>" + "<option filter=\"kc\" value=\"152\" class=\"ken\">中国</option>" + "<option filter=\"kc\" value=\"153\" class=\"ken\">タイ</option>" + "<option filter=\"kc\" value=\"254 255 256 257 258 259 260 261 \" class=\"region\">ヨーロッパ地域</option>" + "<option filter=\"kc\" value=\"254\" class=\"ken\">イギリス</option>" + "<option filter=\"kc\" value=\"255\" class=\"ken\">ドイツ</option>" + "<option filter=\"kc\" value=\"256\" class=\"ken\">スイス</option>" + "<option filter=\"kc\" value=\"257\" class=\"ken\">フランス</option>" + "<option filter=\"kc\" value=\"258\" class=\"ken\">ベルギー</option>" + "<option filter=\"kc\" value=\"259\" class=\"ken\">オランダ</option>" + "<option filter=\"kc\" value=\"260\" class=\"ken\">スウェーデン</option>" + "<option filter=\"kc\" value=\"261\" class=\"ken\">ノルウェー</option>" + "<option filter=\"kc\" value=\"362 \" class=\"region\">北米地域</option>" + "<option filter=\"kc\" value=\"362\" class=\"ken\">アメリカ</option>" + "<option filter=\"kc\" value=\"__\" class=\"region\">その他海外</option>" + "</select>" + "<select id=\"typeFilter\" class=\"filter-illtype\" onchange=\"onFilterChanged()\">" + "<option filter=\"type\" selected value=\"null\">すべての図書館</option>" + "<option filter=\"type\" value=\"ill\">国内ILL参加館</option>" + "<option filter=\"type\" value=\"oclc\">日米ILL参加館</option>" + "<option filter=\"type\" value=\"keris\">日韓ILL参加館</option>" + "<option filter=\"type\" value=\"grp\">料金相殺可能館</option>" + "</select>" + "<label for=\"opacFilter\" class=\"customCB opacLinkCell\"><input id=\"opacFilter\" class=\"cb\" type=\"checkbox\" onchange=\"onFilterChanged()\"/>OPACリンクあり</label>" + "</p>" +"</div>" ; document.write(libraryFilteringSource); //]]> </script> </div> <div id="holding-libraries" class="datasect_close"> <ul id="library-list" class="clearfix"> <li class="oddline" name="library" _kc="07" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA015260">会津大学情報センター (附属図書館)</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">QA9.5.I58</span><span class="rgtn">F0045809</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://libopsv.u-aizu.ac.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="27" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA007852">大阪産業大学綜合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">410.96/14</span><span class="rgtn">03543659</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.cnt.osaka-sandai.ac.jp/gate?module=search&path=search&method=search&searchForm.library=true&searchForm.orderNumber=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="27" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002848">大阪大学附属図書館総合図書館</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">16200279947</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.osaka-u.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="28" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008221">関西学院大学図書館</a><span class="ll-location dstcd">上ケ原</span></p> <p> <span class="ll-volume vlsr"><span class="cln">510.78:265:2044</span><span class="rgtn">0003589082</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.kwansei.ac.jp/iwjs0001opc/ctlsrh.do?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA02289X">九州大学理系図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">408/L 49</span><span class="rgtn">061232004024698</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://catalog.lib.kyushu-u.ac.jp/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008797">九州産業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">10660798</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://leaf.kyusan-u.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012218">京都産業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">S/418.6-INT</span><span class="rgtn">960030</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://ksucat2.kyoto-su.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002768">京都大学数理解析研究所図書室</a><span class="ll-location dstcd">数研</span></p> <p> <span class="ll-volume vlsr"><span class="cln">L/N||LNCS||2044</span><span class="rgtn">01007839</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002677">京都大学理学部</a><span class="ll-location dstcd">数学</span></p> <p> <span class="ll-volume vlsr"><span class="cln">Ser.||G 81||2044</span><span class="rgtn">03042578</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="21" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002349">岐阜大学図書館</a></p> <p> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.gifu-u.ac.jp/opc/recordID/catalog.bib/BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="10" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001732">群馬大学総合情報メディアセンター理工学図書館</a><span class="ll-location dstcd">図書館</span></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08:L49:2044</span><span class="rgtn">200100257</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.gunma-u.ac.jp/opc/recordID/catalog.bib/BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="10" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001732">群馬大学総合情報メディアセンター理工学図書館</a><span class="ll-location dstcd">研究室</span></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08:L49:2044</span><span class="rgtn">200100257</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.gunma-u.ac.jp/opc/recordID/catalog.bib/BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005267">国際基督教大学図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">007.6/L507/v.2044</span><span class="rgtn">05702509</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.icu.ac.jp/opac/opac_openurl?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006918">産業能率大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">||C08||L 49</span><span class="rgtn">411460959</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://wf8.hj.sanno.ac.jp/gate?module=search&path=search.do&method=search&searchForm.library=true&searchForm.orderNumber=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005358">上智大学図書館</a><span class="ll-location dstcd">中央</span></p> <p> <span class="ll-volume vlsr"><span class="cln">QA:9.5:I58:2001</span><span class="rgtn">003335655</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.lib.sophia.ac.jp/opac/opac_openurl?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001754">千葉大学附属図書館</a><span class="ll-location dstcd">研</span></p> <p> <span class="ll-volume vlsr"><span class="cln">548.9</span><span class="rgtn">2000104715</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.ll.chiba-u.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005686">中央大学図書館理工学部分館</a><span class="ll-location dstcd">理工</span></p> <p> <span class="ll-volume vlsr"><span class="cln">004/L47</span><span class="rgtn">00019043975</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.chuo-u.ac.jp/" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001652">筑波大学附属図書館中央図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08-L49-2044</span><span class="rgtn">100017006979</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="08" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001641">筑波大学附属図書館図書館情報学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08:L-49:2044</span><span class="rgtn">011000840</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://www.tulips.tsukuba.ac.jp/mylimedio/search/search.do?target=local&mode=comp&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="14" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA005802">東海大学付属図書館</a><span class="ll-location dstcd">12</span></p> <p> <span class="ll-volume vlsr"><span class="cln">549.92||L||2044</span><span class="rgtn">02047598</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac-t.time.u-tokai.ac.jp/iwjs0018opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA000106">東京科学大学大岡山図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">418.6/L/2044</span><span class="rgtn">116786931</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://topics.libra.titech.ac.jp/recordID/catalog.bib/BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA020395">東京大学大学院情報理工学系研究科</a><span class="ll-location dstcd">CS図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">39:L:1.2044</span><span class="rgtn">2310000837</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="12" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012615">東京情報大学情報サービスセンター</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">007||Leni||2044</span><span class="rgtn">00073345</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.iic.tuis.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="04" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001492">東北大学電気通信研究所図書室</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">06050004252</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="04" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA001390">東北大学附属図書館北青葉山分館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="rgtn">02010005181</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.library.tohoku.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="23" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002542">名古屋工業大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08||L 49||2044</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.nitech.ac.jp/opc/recordID/catalog.bib/BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="23" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002495">名古屋大学工学図書室</a><span class="ll-location dstcd">工情報</span></p> <p> <span class="ll-volume vlsr"><span class="cln">410.96||In</span><span class="rgtn">41286721</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://m-opac.nul.nagoya-u.ac.jp/iwjs0023opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403&initFlg=_RESULT_SET_NOTBIB" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="29" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA01452X">奈良先端科学技術大学院大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">AB||23||2044</span><span class="rgtn">0030541</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.naist.jp/opac/en/search?s_ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="A" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002010">一橋大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">*5080**1**2044</span><span class="rgtn">120101304C</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hit-u.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="34" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008618">広島修道大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">1</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://library.shudo-u.ac.jp/opac/search?autoDetail=true&s_ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="34" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA014508">広島大学図書館西図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">410.96:I-57/59315422</span><span class="rgtn">1030430415</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.hiroshima-u.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="40" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008913">福岡大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">0112198400100</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://fuopac.lib.fukuoka-u.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="13" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA006565">法政大学図書館</a><span class="ll-location dstcd">多図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">007/L49/2044</span><span class="rgtn">10602020316970</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.lib.hosei.ac.jp/opac/opac_openurl?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="17" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="N"> <div class="librarylist-item"> <p><a href="/library/FA014009">北陸先端科学技術大学院大学附属図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="cln">LN ||LNCS||2044</span><span class="rgtn">5011004</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><span class="noOpacLink">OPAC</span></p></div> </div> </li> <li class="oddline" name="library" _kc="38" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA008775">松山大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">007.08||L 5||2044</span><span class="rgtn">25042950</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://libweb.matsuyama-u.jp/opac/search?target=local&searchmode=complex&autoDetail=true&s_ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="24" _type_ill="A" _type_oclc="N" _type_keris="A" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA002564">三重大学附属図書館</a></p> <p> <span class="ll-volume vlsr"><span class="cln">549.9/L 49/2044</span><span class="rgtn">70103944</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://opac.lib.mie-u.ac.jp/opc/xc/openurl/search?rft.issn=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="01" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA004355">酪農学園大学附属図書館</a><span class="ll-location dstcd">研</span></p> <p> <span class="ll-volume vlsr"><span class="rgtn">10400857</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.rakuno.ac.jp/webopac/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="evenline" name="library" _kc="26" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA007739">立命館大学図書館</a></p> <p> <span class="ll-volume vlsr"><span class="rgtn">7010054101</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="http://runners.ritsumei.ac.jp/opac/opac_openurl/?ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="oddline" name="library" _kc="25" _type_ill="A" _type_oclc="N" _type_keris="N" _type_grp="A" _type_opac="A"> <div class="librarylist-item"> <p><a href="/library/FA012455">龍谷大学瀬田図書館</a><span class="ll-location dstcd">図</span></p> <p> <span class="ll-volume vlsr"><span class="rgtn">30100119800</span></span><wbr/> </p> <div class="opacLinkCell"><p class="lib-item-mark"><a target="_blank" href="https://opac.ryukoku.ac.jp/iwjs0005opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA51819403" class="opacLink" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'OpacLink'});">OPAC</a></p></div> </div> </li> <li class="hide" id="no_library_msg"> <div>該当する所蔵館はありません</div> </li> <li class="hide" id="remove_all_filters"> <a href="" onclick="return removeAllFilters();">すべての絞り込み条件を解除する</a> </li> </ul> <script type="text/javascript"> //<![CDATA[ var switchLinkSource = "<p id=\"showmore_switchlink\" class=\"showmore-switch\"><a id=\"showmore_trigger\" href=\"#anc-library\" onclick=\"dataDisclosure('holding-libraries' , 'showmore_trigger');\">すべての所蔵館を表示<\/a><\/p>"; document.write(switchLinkSource); //]]> </script> </div> </div> <div class="sectionofdata" id="srch_fulltext"> <h2 class="heading">この図書・雑誌をさがす</h2> <div class="dataContainer externallink" id="externallink"> <ul class="clearfix"> <li class="externallinkL calil" style="background:transparent url('/books/images/exbanner-calil.gif') left no-repeat;"><a target="_blank" href="https://calil.jp/book/3540419608" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-Calil'});">カーリル</a></li> <li class="externallinkL worldcat" style="background:transparent url('/books/images/exbanner-worldcat.png') left no-repeat;"><a target="_blank" href="https://search.worldcat.org/search?q=bn:3540419608" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Search-WorldCat'});">WorldCat</a></li> </ul> </div> </div> <div class="sectionofdata"> <h2 class="heading">注記</h2> <div class="dataContainer biblio-note nt"> <p>Includes bibliographies and index</p> </div> </div> <div class="sectionofdata"> <h2 class="headingbar">内容説明・目次</h2> <div class="dataContainer biblio-contents toc"> <p class="toc-kind">内容説明</p> <div class="toc-body">This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.</div> <p class="toc-kind">目次</p> <div class="toc-body">Invited Lectures.- Many Happy Re urns.- From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour.- Definability of Total Objects in PCF and Related Calculi.- Categorical Semantics of Control.- Contributed Papers.- Representations of First Order Function Types as Terminal Coalgebras.- A Finitary Subsystem of the Polymorphic ?-Calculus.- Sequentiality and the ?-Calculus.- Logical Properites of Name Restriction.- Subtyping Recursive Games.- Typing Lambda Terms in Elementary Logic with Linear Constraints.- Ramied Recurrence with Dependent Types.- Game Semantics for the Pure Lazy ?-Calculus.- Reductions, intersection types, and explicit substitutions.- The Stratified Foundations as a Theory Modulo.- Normalization by Evaluation for the Computational Lambda-Calculus.- Induction Is Not Derivable in Second Order Dependent Type Theory.- Strong Normalization of Classical Natural Deduction with Disjunction.- Partially Additive Categories and Fully Complete Models of Linear Logic.- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.- The Finitely Generated Types of the ?-Calculus.- Deciding Monadic Theories of Hyperalgebraic Trees.- A Deconstruction of Non-deterministic Classical Cut Elimination.- A Token Machine for Full Geometry of Interaction (Extended Abstract).- Second-Order Pre-logical Relations and Representation Independence.- Characterizing Convergent Terms in Object Calculi via Intersection Types.- Parigot's Second Order ??-Calculus and Inductive Types.- The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping.- Evolving Games and Essential Nets for Affine Polymorphism.- Retracts in Simple Types.- Parallel Implementation Models for the ?-Calculus Using the Geometry of Interaction (Extended Abstract).- The complexity of ?-reduction in low orders.- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.</div> <p class="toc-provided-by"> 「Nielsen BookData」より</p> </div> </div> <div class="sectionofdata"> <div class="listheading"> <h2 id="ref" class="heading">関連文献：&ensp;1件中 &ensp;1-1を表示</h2> </div> <div class="listContainer related-article_list"> <ul> <li class="oddline"> <div class="listitem xfolkentry"> <div class="list_number hidden-xs">1</div> <dl class="book_class"> <dt class="item_mainTitle item_title trd"> <a href="/ncid/BA00009279" class="taggedlink">Lecture notes in computer science</a> </dt> <dd> <p class="item_subData item_authordata"></p> <p class="item_data item_publishdata"> <span class="pblc">Springer-Verlag</span> </p> <p class="item_data item_bibotherdata"> <span class="vlsr">volumes 1-100 index</span> </p> <p class="item_data item_librarynum">所蔵館8館</p> </dd> </dl> </div> </li> </ul> </div> </div> </div> </div> <div class="side_navigation"> <div id="sidenav_inner" class="relateditem"> <div class="relateditem_section accesscount"> <div id="promotion" class="relateditem_section promotion" style="margin:5px 0 !important;"> <ul class="slider"> <li><a href="/books/redirect?type=advt&url=https%3A%2F%2Fjp.surveymonkey.com%2Fr%2Fcib-enquete-2024" onclick="gtag('event', 'click', {'event_category': 'access', 'event_action': 'click', 'event_label': 'Advt-1742255981-0-db-ja-B'});" title="CiNii利用者アンケート" target="_blank"><img data-lazy="/books/images/ad/ad_ja_1742255981_0.png"></a></li> </ul> <script type="text/javascript" src="/books/js/slick.min.js?v=20190418"></script> <script type="text/javascript"> $(function() { $('.slider').slick({ infinite: true, dots: false, slidesToShow: 1, slidesToScroll: 1, autoplay: true, arrows: false, variableWidth: true, centerMode: true, lazyLoad: 'progressive', }); }); </script> </div> </div> <div class="relateditem_section social"> <ul class="snsb clearfix"> <li><a href="https://twitter.com/share" class="twitter-share-button" data-lang="ja" data-hashtags="CiNii" data-dnt="true" data-count="vertical">Tweet</a> <script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src="//platform.twitter.com/widgets.js?charset=utf8";js.charset="UTF-8";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script> </li> <li><div id="fb-root"></div> <script> window.fbAsyncInit = function() { FB.init({ appId : '359135477483189', autoLogAppEvents : true, xfbml : true, version : 'v2.10' }); FB.AppEvents.logPageView(); }; (function(d, s, id){ var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) {return;} js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/ja_JP/sdk.js"; fjs.parentNode.insertBefore(js, fjs); }(document, 'script', 'facebook-jssdk')); </script> <div class="fb-like" data-href="https://ci.nii.ac.jp/ncid/BA51819403" data-colorscheme="light" data-layout="box_count" data-action="like" data-show-faces="false" data-send="false" data-font="arial" width="70"></div> </li> </ul> </div> <div id="biblio-image" class="relateditem_section biblio-image-hidden"></div> <div id="biblio-codes" class="relateditem_section papercodes"> <h2 class="heading">詳細情報</h2> <ul class="detailcodeslist"> <li class="papercodesitem ncid"><dl><dt>NII書誌ID(NCID)</dt><dd>BA51819403</dd></dl></li> <li class="papercodesitem isbn"><dl><dt>ISBN</dt><dd><ul class="particular-datalist"><li>3540419608</li></ul></dd></dl></li> <li class="papercodesitem lccn"><dl><dt>LCCN</dt><dd><a href="https://lccn.loc.gov/01031431" target="_blank">01031431</a></dd></dl></li> <li class="papercodesitem ctr"><dl><dt>出版国コード</dt><dd>gw</dd></dl></li> <li class="papercodesitem ctgl"><dl><dt>タイトル言語コード</dt><dd class="ctgl">eng</dd></dl></li> <li class="papercodesitem txtl"><dl><dt>本文言語コード</dt><dd class="txtl">eng</dd></dl></li> <li class="papercodesitem plg"><dl><dt>出版地</dt><dd>Berlin ; Tokyo</dd></dl></li> <li class="papercodesitem phynum"><dl><dt>ページ数/冊数</dt><dd>xi, 429 p.</dd></dl></li> <li class="papercodesitem physz"><dl><dt>大きさ</dt><dd>24 cm</dd></dl></li> <li class="papercodesitem clsn"> <dl> <dt>分類</dt> <dd> <ul class="particular-datalist particular-datalist-cls"> <li>LCC : <a href="/books/search?clas=QA9.5&advanced=true&count=20&sortorder=3">QA9.5</a></li><li>DC20 : <a href="/books/search?clas=511.3&advanced=true&count=20&sortorder=3">511.3</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem sh"> <dl> <dt>件名</dt> <dd> <ul class="particular-datalist particular-datalist-sh"> <li>LCSH : <a href="/books/search?subject=Lambda%20calculus%20--%20Congresses&advanced=true&count=20&sortorder=3">Lambda calculus -- Congresses</a></li> </ul> </dd> </dl> </li> <li class="papercodesitem ptbl"><dl><dt>親書誌ID</dt><dd><ul class="particular-datalist"><li><a href="/ncid/BA00009279">BA00009279</a></li></ul></dd></dl></li> </ul> </div> <div id="writingformat" class="relateditem_section writingformat"> <h2 class="heading">書き出し</h2> <ul class="exportlist"> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403/refworks" target="RefWorksMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RefWorks'});"">RefWorksに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403/endnote" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-EndNote'});"">EndNoteに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/books/redirect?type=mendeley&url=https%3A%2F%2Fwww.mendeley.com%2Fimport%2F%3Furl%3Dhttps%3A%2F%2Fci.nii.ac.jp%2Fncid%2FBA51819403.bib%26format%3Dbib" target="MendeleyMain" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Mendeley'});"">Mendeleyに書き出し</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403.bix" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-Refer-BibIX'});"">Refer/BibIXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403.ris" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-RIS'});"">RISで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403.bib" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-BibTeX'});"">BibTeXで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403.tsv" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-TSV'});"">TSVで表示</a></div></li> <li><div class="ie_bug_fixer"><a href="/ncid/BA51819403.txt" target="_blank" onclick="gtag('event', 'click', {'event_category': 'export', 'event_action': 'click', 'event_label': 'BJDetail-ISBD'});"">ISBDで表示</a></div></li> </ul> </div> </div> </div> <a class="gotop center-block visible-xs"> ページトップへ </a> </div> </div> <footer class="footer"> <div class="footer-wrap"> <div class="displaymode visible-xs"> <div class="modelist"> <div class="modeitem"> <span id="btnSP" class="selected">スマートフォン版</span> </div> | <div class="modeitem"> <a id="btnPC" href="#" onclick="selectModePc();return false;">PC版</a> </div> </div> </div> <div class="footer-linkblock ftb-about"> <ul class="ft-group"> <li><p class="ft-heading">CiNiiについて</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/cinii/cinii_outline">CiNiiについて</a></li> <li><a href="https://support.nii.ac.jp/ja/cia/cinii_db">収録刊行物について</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/terms">利用規約・プライバシーポリシー</a></li> <li><a href="https://support.nii.ac.jp/ja/cinii/contact">お問い合わせ</a></li> <li><a href="https://www.nii.ac.jp/">国立情報学研究所 (NII)</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-help"> <ul class="ft-group"> <li><p class="ft-heading">ヘルプ</p> <ul class="ft-list"> <li><p><a href="https://support.nii.ac.jp/ja/cir/manual_outline">CiNii Research</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cib/manual_outline">CiNii Books - 大学図書館の本をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cid/manual_outline">CiNii Dissertations - 日本の博士論文をさがす</a></p> </li> <li><p><a href="https://support.nii.ac.jp/ja/cinii/api/api_outline">メタデータ・API</a></p> </li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-info"> <ul class="ft-group"> <li><p class="ft-heading">新着情報</p> <ul class="ft-list"> <li><a href="https://support.nii.ac.jp/ja/news/cinii">お知らせ</a></li> <li><a href="https://support.nii.ac.jp/ja/news/cinii/feed" class="ft-rsslink">RSS</a></li> <li><a href="https://twitter.com/cinii_jp">Twitter</a></li> </ul> </li> </ul> </div> <div class="footer-linkblock ftb-service"> <ul class="ft-group"> <li><p class="ft-heading">NIIのコンテンツサービス</p> <ul class="ft-list"> <li><a href="https://kaken.nii.ac.jp/">KAKEN - 科学研究費助成事業データベース</a></li> <li><a href="https://irdb.nii.ac.jp/">IRDB - 学術機関リポジトリデータベース</a></li> <li><a href="https://reo.nii.ac.jp/">NII-REO - 電子リソースリポジトリ</a></li> </ul> </li> </ul> </div> </div> </footer> <script type="text/javascript" src="/books/js/customFormControls.js?V240716"></script> <script type="text/javascript" src="/books/js/librarylist_disclosure.js?V180703"></script> <script type="text/javascript"> $(document).ready(function() { sec_defaultClose(); onFilterChanged(); }); if (document.getSelection) { $("span.dstcd, span.ll-volume.vlsr span").on('dblclick', function() { setSelection(this); }); } </script> <script type="text/javascript"> $(document).ready(function() { show_preview(); $(".particular-datalist-cls a,.particular-datalist-sh a").on('click', function() { var href = $(this).attr("href"); href = href.replace(/&sortorder=[0-9]*/, ""); href = href.replace(/&count=[0-9]*/, ""); var count = getSiteSettingValue("bc.", "20"); if(!isNaN(parseInt(count))) { href += "&count=" + count; } var sortorder = getSiteSettingValue("bs.", "3"); if(!isNaN(parseInt(sortorder))) { href += "&sortorder=" + sortorder; } this.href = href; return true; }); }); </script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-5YXF8KWH9K'); // Creates a tracker. //gtag('event', 'page_view', { 'send_to': 'G-5YXF8KWH9K' }); // Sends a pageview. </script></body> </html>

CINXE.COM

CiNii 図書 - Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings