Perguntas com a marcação «type-theory»

Existe um sistema de tipos que restrinja os termos lambda aos termos que se enquadram em uma classe de complexidade? Como os termos tipáveis ​​da teoria estão estritamente dentro da classe de complexidade? Ou isso não é possível? Acho que existem muitos estudos sobre expressibilidade da teoria dos...

Qual é a interpretação teórica do tipo / equivalente de Skolemization? A skolemization converte alguma fórmula na forma normal da Skolem. As duas fórmulas são satisfatórias entre si. Ou, para dizer em termos teóricos do tipo: Existe um programa com algum tipo, se houver um programa com esse tipo...