Programs as Diagrams: From Categorical Computability to Computable Categories

Name: Programs as Diagrams: From Categorical Computability to Computable Categories
Brand: Springer
SKU: 0ef76a133df0f98ffe377779b59a8500

1/1

Priser från

716,00

Utvalda

Beskrivning

Programs as Diagrams: From Categorical Computability to Computable Categories

Jämför webbutiker (2)

Sortera efter:

716,00 kr

Beskrivning (0)

Programs as Diagrams: From Categorical Computability to Computable Categories

Märke	Springer
EAN	9783031348297

Independently Published

Categorical Life: From Structure to Living Systems

Independently Published

Categorical Life: From Structure to Living Systems

Betascript Publishers

Primitive Recursive Function: Recursion, Function Composition, Subset, ¿-recursive Function, Computable Rózsa Péter, Computability Theory,

Independently Published

Categorical Metaphysics: From Mathematical Structure to Lived Reality