Agdaの技術書 (3 冊)

愛すること、理解すること、愛されること著者不明

IDENTITY(アイデンティティ)

IDENTITY(アイデンティティ)著者不明プログラミング言語の形式的意味論入門G.ウィンスケル/末永　幸平/勝股　審也/中澤　巧爾/西村　進/前田　敦司¥4,950