(1 - 14 from 15
)
Colloquium | Computer Science Blogblogs.cs.st-andrews.ac.uk › csblog › category › event › colloquium
blogs.cs.st-andrews.ac.uk
This talk is on joint work with Faris Abou-Saleh, Jeremy Gibbons, James McKinna and Perdita Stevens conducted as part of the recently-concluded project “A ...
sorted by relevance / date