OPAC

Extensional constructs in intensional type theory / Martin Hofmann
(CPHC/BCS distinguished dissertation series)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
科学文化論(品)	hardback	410.1/H81	1997030519	199703051					仮想書架		仮想書架

出版情報	London ; Berlin : Springer , c1997
大きさ	xii, 214 p. ; 24 cm
一般注記	Includes index
著者標目	*Hofmann, Martin, 1965-
件　名	LCSH:Automatic theorem proving LCSH:Functional programming (Computer science) LCSH:Type theory
分　類	LCC:QA76.9.A96 DC21:511.3
本文言語	英語
書誌ID	TY00010619
ISBN	3540761217
NCID	BA31000701
巻冊次	hardback ; ISBN:3540761217

目次／あらすじ