このページのリンク

他の検索サイト

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

所蔵情報を非表示

科学文化論(品) 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
目次／あらすじ

 類似資料