Applications of category theory to programming and program specification

Materias

• Categories (Mathematics)
• Computer programming

Ediciones (1)

• Applications of category theory to programming and program specification (1981)

  University of Edinburgh, Dept. of Computer Science · inglés

Más obras de D. E. Rydeheard

Category theory and computer science

Category theory and computer science

Computational category theory

Ver todas las obras de D. E. Rydeheard →