Online Library TheLib.net » Тема, жанр, tags: String Diagram,Metaprogramming,Type Theory,Halting Problem,Monoidal Category,Program SemanIcs,Self-r