Structural foundations for differentiable programming

<p>This dissertation supports the broader thesis that categorical semantics is a powerful tool to study and design programming languages. It focuses on the foundational aspects of differentiable programming in a simply typed functional setting. Although most of the category theory use...

詳細記述

書誌詳細
第一著者: Huot, M
その他の著者: Staton, S
フォーマット: 学位論文
言語:English
出版事項: 2022
主題: