Bilim
Hesaplanabilirlik kuramı için monoidal kategorilerle yeni model geliştirildi
Bilgisayar bilimcisi Dusko Pavlovic, hesaplanabilirlik kuramını monoidal kategoriler ve dizi diyagramları (string diagrams) aracılığıyla yeniden tanımlayan yeni bir hesaplama modeli tanıttı. arXiv…
Hesaplama KuramıKategori TeorisiBilgisayar Bilimi