Lévy, Jean-Jacques 1947-
Lévy, Jean-Jacques
Lévy, Jean-Jacques 19..-.... mathématicien
VIAF ID: 114716727 ( Personal )
Permalink: http://viaf.org/viaf/114716727
Preferred Forms
- 100 1 _ ‡a Levy, Jean-Jacques
- 200 _ | ‡a Lévy ‡b Jean-Jacques ‡f 19..-.... ‡c mathématicien
-
- 100 1 _ ‡a Lévy, Jean-Jacques ‡d 1947-
- 100 1 _ ‡a Lévy, Jean-Jacques, ‡d 1947-
-
-
- 100 1 _ ‡a Lévy, Jean-Jacques, ‡d 1947-....
-
- 100 1 _ ‡a Lévy, Jean-Jacques (sparse)
-
- 100 1 _ ‡a Lévy, Jean-Jacques ‡d 1947-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstract intepretation of higher-order imperative languages. | |
Abstract Types in Distributed Systems. | |
Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus | |
Algorithmes et programmation | |
Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings | |
Analyse sémantique des communications entre processus de programmes parallèles | |
Auditability for security protocols. | |
Une automatisation du calcul des résidus en sémantique naturelle | |
An automatization of residual computations in natural semantics. | |
Call by need computations in non-ambiguous linear term rewriting systems | |
Change management of semi-structured data on the Web. | |
Compaction des langages fonctionnels | |
Conception et implémentation de calculs d'agents mobiles | |
Etude de la méthodologie et de l'exploitation d'un ordinateur dans l'entreprise | |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... | |
Explicit Substitutions | |
Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France | |
Formalisation d'un frontal et réalisation du chargeur dans un système à base de deux calculateurs | |
From semantics to computer science : essays in honour of Gilles Kahn | |
Full abstraction for sequential languages : the state of the art | |
Functional languages and parallelism : an implementation for the caml system. | |
Gestion des changements pour les données semi-structurés du Web | |
Informatique fondamentale | |
Introduction to the theory of programming languages | |
JoCaml : design and implementation of a langage with mobile agents. | |
THE JOIN-CALCULUS : A CALCULUS FOR DISTRIBUTED MOBILE PROGRAMMING. | |
Un langage de spécification de types abstraits algébriques | |
THE LAZY STRATEGY. | |
L'Institut des hautes études de l'Université de Jérusalem | |
Minimal and optimal computations of recursive programs | |
Modular information flow analysis for sequential and concurrent calculi. | |
Poétique de la mémoire partagée | |
PSILISP, un modèle d'interprétation parallèle de programmes LISP | |
Réductions correctes et optimales dans le lambda-calcul | |
Reversible process algebra and declarative concurrent programming. | |
Le Salariat agricole | |
Security properties in the lambda-calculus. | |
Semantic analyses of congruence. | |
Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite | |
Séries génératrices et analyse automatique d'algorithmes | |
A shared memory poetics. | |
LA STRATEGIE PARESSEUSE | |
Sûreté des abstractions et sessions sécurisées dans les langages distribués | |
Techniques informatiques dans la vérification des gardes technologiques des circuits intégrés | |
Typage, compilation, et cryptographie pour la programmation repartie securisée. | |
Types abstraits dans les systèmes répartis | |
Types, compilers, and cryptography for secure distributed programming | |
Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique. |