- Inglés 397
- Lenguaje y lenguas 294
- Programming languages 285
- Enseñanza de idiomas 258
- Lenguajes de programación 254
- Lingüística aplicada 129
- Adquisición de segundas lenguas 126
- Formal languages 105
- Lógica matemática 92
- Mathematical logic 92
- Lingüística 91
- Lenguajes formales 90
- Gramática 61
- Software engineering 55
- Lenguas modernas 53
- Logics and meanings of programs 52
- Lógica y significado de programas 47
- Natural language processing 47
- Sociolingüística 46
- Revistas 44
- Ingeniería de software 43
- PUBLICACIONES PERIODICAS 42
- Programming techniques 42
- Análisis del discurso 40
- INGLES 40
- Lenguas extranjeras 39
- FILOSOFIA DEL LENGUAJE 37
- LENGUAJE 36
- Investigación 34
- Libros de texto 34
-
2021
Proving correctness of a compiler using step-indexed logical relations
Published 2021Get full text
Get full text
publishedVersion -
2022
-
2023
-
2024
-
2025
-
2026
-
2027
-
2028
-
2029
-
2030
-
2031
-
2032
-
2033
International English : a guide to varieties of English around the world /
Published 2017Table of Contents: “…1 Standard English in the world -- 2 English, Australasian, South African and Welsh English -- 3 The pronunciation of North American English -- 4 English and North American English: grammatical, orthographical and lexical differences -- 5 Scottish and Irish English -- 6 West Indian English and English-based creoles -- 7 Lesser-known Englishes -- 8 Second-language varieties of English.…”
Get full text
eBook -
2034
-
2035
Advanced programming : programming and operating systems /
Published 1970Table of Contents: “…List processing -- 7. Computer languages -- 8. Advanced compiler systems -- 9. Decision logic tablets -- Pte. 2. …”
Book -
2036
Being there : putting brain, body and world together again /
Published 1997Table of Contents: “…Further!. Minds and markets. Language : the ultimate artifact. Minds, brains and tuna…”
Book -
2037
Lexicografía computacional y semántica /
Published 2003Table of Contents: “…Antonia Martí -- Some strategies for identifying and representing of polysemy for Natural Language processing / Patrick Saint-Dizier -- Similitud semántica / Horacio Rodríguez Hontoria.…”
Book -
2038
-
2039
-
2040