dicionario.txt

-*- coding: utf-8 -*-

arrow: seta
assumption: hipótese
bag: multiconjunto
backward reasoning: raciocínio regressivo
big-step semantics : 
branch: ramo
buffer: buffer, área de trabalho
cartesian product: produto cartesiano
case analysis: análise de casos
(to) check: verificar
checker: verificador
Church numerals: numerais de Church
correctness: corretude
(to) decrease: decair (no contexto de funções definidas por recursão)
(to) evaluate: calcular o valor
even: par
evenness: paridade
forward reasoning: raciocínio progressivo
function type: tipo funcional
goal: meta
hack: truque
hacking: resolver a base de tentativa e erro
head: cabeça
hint: dica
invariant: (um) invariante
lemma: lema
linker: linkeditor
machine-checked: verificado por máquina
namespace: contexto para identificadores
notation-symbol: símbolo de notação
odd: impar
(to) override: sobrescrever
overriding: sobrescrita
pattern matching: casamento de padrões
pedantic: minucioso(a)
pigeonhole principle: princípio da casa dos pombos
pretty printer: formatador de código
proof: demonstração
proof object: objeto demonstrador
proof term: expressão demonstradora
qualifier: marcador
(to) reason: raciocinar
(to) rewrite: reescrever
rewriting: reescrita
script: transcriçã£o
side effects: efeitos colaterais
soundness: correção
static type system: sistema de tipagem estática
string(s): cadeia de caracteres
tail: cauda
(to) type: tipar
wildcard: coringa
tactical: tática
assertion: asserção