Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mendes, Filipa Simões"'
Autor:
Mendes, Filipa Simões
Dissertação de mestrado em Matemática e Computação
Plotkin apresentou em 1975 a primeira proposta para o cálculo-lambda call-by-value, um sistema formal que modela uma linguagem de programação call-by-value, e vários outros sistemas tê
Plotkin apresentou em 1975 a primeira proposta para o cálculo-lambda call-by-value, um sistema formal que modela uma linguagem de programação call-by-value, e vários outros sistemas tê
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::81423a24b848767fa19cf19315b76ca5
https://hdl.handle.net/1822/85093
https://hdl.handle.net/1822/85093
