Código QR (código de barras bidimensional)

Gems of Corrado B\"ohm

The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2. Structured programming, eliminating the 'goto' statement. 3. Functional pro...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Henk P. Barendregt
Formato: Artigo
Idioma:Inglês
Publicado em: Logical Methods in Computer Science e.V. 2020-09-01
coleção:Logical Methods in Computer Science
Assuntos:
Acesso em linha:https://lmcs.episciences.org/5018/pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!