Embora a discussão demonstre fortes evidências de normalização, esse comentário contrasta o "modelo de formas normais" com os "métodos puramente sintáticos". Isso me leva de volta a uma pergunta mais básica: ainda podemos distinguir estritamente construções sintáticas e semânticas, diante de...
A página "Esquema avançado: alguns bits impertinentes" declara: As continuações são uma poderosa construção de fluxo de controle a partir da qual quase qualquer outra estrutura de fluxo de controle [...] pode ser derivada. Eu pensei que o esquema call/cc, estando relacionado (*) ao operador J...
Na semântica da linguagem de programação, costuma-se ouvir as pessoas falando sobre significado e denotação . Eles parecem não ser os mesmos. Qual é a diferença? O primeiro está associado à semântica operacional e o segundo à semântica denotacional?
Para uma prova de correção, estou procurando uma noção utilizável de equivalência de programa para os sistemas de tipo puro (PTSs) de Barendregt; falta isso, para sistemas de tipos específicos suficientes. Meu objetivo é simplesmente usar a noção, não investigá-la por si mesma.≅≅\cong Essa noção...