Mostrando 1 - 1 resultados de 1 para a busca 'formalized computational modelling programming', tempo de busca: 0,21s

1

... computational model, new computing paradigms have been formalized. While reversible computing aims to reconcile...

Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico

Publicado em 2018
Dissertação