The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: String Diagram,Metaprogramming,Type Theory,Halting Problem,Monoidal Category,Program SemanIcs,Self-r
Programs as Diagrams: From Categorical Computability to Computable Categories
pdf
Author:
Dusko Pavlovic
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через