Sentido, referência e computação
Neste artigo, eu revisito a teoria do sentido e referência de Frege no cenário construtivo das explicações de significado da teoria dos tipos, estendendo e aprimorando a análise em termos de programa-valor da teoria de sentido e referência proposta por Martin-Löf, baseada em trabalhos anteriores de ...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Pernambuco (UFPE)
2020-11-01
|
| Series: | Perspectiva Filosófica |
| Subjects: | |
| Online Access: | https://periodicos.ufpe.br/revistas/index.php/perspectivafilosofica/article/view/248896 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!