Escopo in situ
No presente texto, apresentamos uma proposta alternativa para a análise da interação do escopo de expressões quantificadas, sem que as expressões precisem ser movidas. As interpretações são obtidas através de operadores de escopo, expressos por termos-λ puros; são precisos dois pares de operadores:...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Catalan |
| Published: |
Universidade do Minho & Universidade de Vigo
2012-12-01
|
| Series: | Linguamática |
| Subjects: | |
| Online Access: | http://linguamatica.com/index.php/linguamatica/article/view/133 |