Carregando...
U - Musharof Chy
Mostrando 1 - 1 de 1 Negócio
Uustalu, Tarmo
University of Minho - Proof theory, type theory, categorical logic, semantics of programming langua...
236 visualizações
25 de jan. de 2025University of Minho - Proof theory, type theory, categorical logic, semantics of programming langua...