Search

Bibtex

Faris Abou-Saleh, James McKinna, Jeremy Gibbons, Coalgebraic Aspects of Bidirectional Computation

Back