On computability and disintegration. Ackerman, N. L., Freer, C. E., & Roy, D. M. Mathematical Structures in Computer Science, 27(8):1287–1314, Cambridge University Press, 2017.
doi  bibtex   
@ARTICLE{AFR17,
  author = {Ackerman, Nathanael L. and Freer, Cameron E. and Roy, Daniel M.},
  title = {On computability and disintegration},
  journal = {Mathematical Structures in Computer Science},
  year = {2017},
  volume = {27},
  pages = {1287--1314},
  number = {8},
  doi = {10.1017/S0960129516000098},
  file = {AFR17.pdf:AFR17.pdf:PDF},
  keywords = {bib, cca, wei},
  publisher = {Cambridge University Press}
}

Downloads: 0