Logic & Programming

My paper on type isomorphisms in the presence of sums was accepted to CSL-LICS 2014.

http://arxiv.org/abs/1401.2567

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net