Corrado Böhm

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Corrado Böhm
ciência da computação
Silver - replace this image male.svg
Nacionalidade Itália italiano
Nascimento 1923
Local Milão
Actividade
Campo(s) ciência da computação
Conhecido(a) por P′′

Corrado Böhm (Milão, 1923) é um cientista da computação da Itália. Contribuiu com as teorias de programação estruturada, cálculo Lambda, lógica combinatória e com as semânticas e com a implementação de linguagens de programação funcional.

Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing.

[editar] Ver também

Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.
Ferramentas pessoais
Espaços nominais

Variantes
Ações
Navegação
Colaboração
Imprimir/exportar
Ferramentas
Noutras línguas