FRENCH

Le calcul dans les topos relatifs et l’interprétation du langage W

By Méven Cadet

Book information

Year
2012
Language
french
Format
PDF
Filesize
668 kB (684467 bytes)
Series
Master thesis at Université Denis Diderot-Paris 7
Pages
35\35
Time added
2016-09-27 03:52:16

Description

Mémoire de Master 2 réalisé par M. Cadet sous ma direction. Dans ce mémoire, la traduction précise entre le langage interne d'un topos relatif T/X (où X est un objet de T) et le langage natif du topos T est explicitée. Dans une seconde partie, cet traduction est exploitée pour interpréter le langage W, qui est une variante ``à types dépendants'' du langage interne des topos.

Similar books

Gramatica de la lengua quiche = Grammaire de la langue quichée, espagnole-française mise en parallèle avec ses deux dialectes, cakchiquel et tzutuhil, tirée des manuscrits des meilleurs auteurs guatémaliens : ouvrage accompagné de notes philologiques avec un vocabulaire comprenant les sources principales du quiché comparées aux langues germaniques et suivi d'un essai sur la poésie, la musique, la danse et l'art dramatique chez les Mexicains et les Guatémaltèques avant la conquête : servant d'introduction au Rabinal-Achi, drame indigène avec sa musique originale, texte quiché et traduction française en regard

Gramatica de la lengua quiche = Grammaire de la langue quichée, espagnole-française mise en parallèle avec ses deux dialectes, cakchiquel et tzutuhil, tirée des manuscrits des meilleurs auteurs guatémaliens : ouvrage accompagné de notes philologiques avec un vocabulaire comprenant les sources principales du quiché comparées aux langues germaniques et suivi d'un essai sur la poésie, la musique, la danse et l'art dramatique chez les Mexicains et les Guatémaltèques avant la conquête : servant d'introduction au Rabinal-Achi, drame indigène avec sa musique originale, texte quiché et traduction française en regard

1862 · PDF