Back to Results
First PageMeta Content



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

Document Date: 2016-08-31 03:04:28


Open Document

File Size: 234,11 KB

Share Result on Facebook
UPDATE