検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.) T2 Lecture notes in computer science A1 International Conference on Typed Lambda Calculi and Applications (3rd : 1997 : Nancy, France) A1 De Groote, Philippe. A1 Hindley, J. Roger. YR 1997 FD c1997 SP viii, 404 p. K1 Lambda calculus -- Congresses K1 Lambda calculus PB Springer PP Berlin ; New York SN 3540626883 LA English (英語) CL LCC:QA9.5 CL DC21:511.3 NO Includes bibliographical references and index NO 書誌ID=1000661034; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000661034 OL 30