main.dvi
Generalised Species of Structures: Cartesian Closed and Differential Structure (Working Draft) Marcelo Fiore∗ Computer Laboratory University of Cambridge March 2004 Abstract We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and eval
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.cl.cam.ac.uk/~mpf23/papers/PreSheaves/Esp.pdf
http://www.cl.cam.ac.uk/~mpf23/papers/Algebra/gpf.pdf
http://www.cl.cam.ac.uk/~mpf23/papers/Types/gadtif.pdf
http://www.cl.cam.ac.uk/~mpf23/papers/Types/diff.pdf
http://www.cl.cam.ac.uk/~mpf23/gsaf/gs-note.pdf
