Login / Signup
Adam Sandberg Eriksson
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Database
Transitive Closure
Extended Abstract
Relational Algebra
Top Venues
TyDe@ICFP
</>
Publications
</>
Adam Sandberg Eriksson
,
Patrik Jansson
An agda formalisation of the transitive closure of block matrices (extended abstract).
TyDe@ICFP
(2016)