富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Type theory)
該当件数:1件
Verified functional programming in Agda / Aaron Stump
First edition.. - ([New York] ; [San Rafael, California] : Association for Computing Machinery : Morgan & Claypool , 2016). - (ACM books. ISSN:23746777 ; #9)
電子ブック