Corrado Böhm

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

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.