Dear all, I am interested in knowing relevant applications of enriched categories to computer science. Would you please send me references if any? Thanks, Best regards, Vincent Schmitt.