Corrado Böhm

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Corrado Böhm
Ciência da computação
Nacionalidade Itália Italiano
Nascimento 17 de janeiro de 1923 (91 anos)
Local Milão
Atividade
Campo(s) Ciência da computação
Conhecido(a) por P′′

Corrado Böhm (Milão, 17 de janeiro de 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.

Ver também[editar | editar código-fonte]

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