List Objects with Algebraic Structure

Marcelo Fiore, Philip Saville. List Objects with Algebraic Structure. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Marcelo Fiore

This author has not been identified. Look up 'Marcelo Fiore' in Google

Philip Saville

This author has not been identified. Look up 'Philip Saville' in Google