Record:   Prev Next
作者 Fiech, Adrian Paul
書名 A denotational model for polymorphic lambda calculus with subtyping / Adrian Paul Fiech
出版項 1993
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室論文區  Diss F4.1 F452 1993    在架上    30330000099346
說明 101 p. : ill.
附註 Order No. "AAC 9327774"
Thesis (Ph.D.)--Kansas State University, 1993
Bibliography: p.94-98
Photocopy. Ann Arbor, Mich. : University Microfilms International, 1994. 22 cm
主題 Lambda calculus and related systems iis
Denotational semantics iisf
Alt Author University Microfilms International
Record:   Prev Next