idris-ct: A Library to do Category Theory in Idris.

Fabrizio Genovese Alex Gryzlov Jelle Herold Andre Knispel Marco Perone Erik Post André Videla

Published in: ACT (2019)

Keyphrases

three dimensional
medical images
theoretical framework
theoretical basis
general theory
neural network
x ray
ct images
image processing
computational model
ct scans
formal theory