OPAC

Basic simple type theory / J. Roger Hindley
(Cambridge tracts in theoretical computer science ; 42)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
科学文化論(品)		549/H61	199703302X	199703302					仮想書架		仮想書架

出版情報	Cambridge : Cambridge University Press , 1997
大きさ	xi, 186 p. ; 24 cm
一般注記	Includes bibliographical references and index
著者標目	*Hindley, J. Roger
件　名	LCSH:Programming languages (Electronic computers) LCSH:Type theory
分　類	LCC:QA76.7 DC20:005.13
本文言語	英語
書誌ID	TY00010734
ISBN	0521465184
NCID	BA31543853
巻冊次	: hbk ; ISBN:0521465184

目次／あらすじ