An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson

First Page		Document Content
Date: 2016-08-31 03:04:28		An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 234,11 KB Share Document on Facebook