×
Compute Distance To:
Author ID: levy.jean-jacques Recent zbMATH articles by "Levy, Jean-Jacques"
Published as: Lévy, Jean-Jacques; Levy, Jean-Jacques; Levy, J. J.; Lévy, J.-J.; Levý, Jean-Jacques
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 237 times in 196 Documents Cited by Year
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
100
1991
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus. Zbl 0335.02016
Levy, Jean-Jacques
27
1976
Minimal and optimal computations of recursive programs. Zbl 0388.68012
Berry, Gerard; Levy, Jean-Jacques
26
1979
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
18
2000
Confluence properties of weak and strong calculi of explicit substitutions. Zbl 0885.03014
Curien, Pierre-Louis; Hardin, Thérèse; Levý, Jean-Jacques
16
1996
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Full abstraction for sequential languages: the state of the art. Zbl 0604.68033
Berry, G.; Curien, P.-L.; Lévy, J.-J.
14
1985
Sharing in the weak lambda-calculus. Zbl 1171.03309
Blanc, Tomasz; Lévy, Jean-Jacques; Maranget, Luc
4
2005
Analysis and caching of dependencies. Zbl 1344.68046
Abadi, Martín; Lampson, Butler; Lévy, Jean-Jacques
4
1996
Some results in the join-calculus. Zbl 0885.03033
Lévy, Jean-Jacques
3
1997
Explicit substitutions and programming languages. Zbl 0958.68043
Lévy, Jean-Jacques; Maranget, Luc
2
1999
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
2
1975
The cost of usage in the \(\lambda\)-calculus. Zbl 1366.03170
Asperti, Andrea; Lévy, Jean-Jacques
1
2013
Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517
Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro
1
1992
A survey of some syntactic results in the \(\lambda\)-calculus. Zbl 0416.03016
Berry, Gerard; Levy, Jean-Jacques
1
1979
Le problème du partage dans l’evaluation des lambda-expressions. Zbl 0482.03002
Levy, Jean-Jacques
1
1978
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
A semi-automatic proof of strong connectivity. Zbl 1403.68221
Chen, Ran; Lévy, Jean-Jacques
1
2017
A semi-automatic proof of strong connectivity. Zbl 1403.68221
Chen, Ran; Lévy, Jean-Jacques
1
2017
The cost of usage in the \(\lambda\)-calculus. Zbl 1366.03170
Asperti, Andrea; Lévy, Jean-Jacques
1
2013
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
1
2009
Sharing in the weak lambda-calculus. Zbl 1171.03309
Blanc, Tomasz; Lévy, Jean-Jacques; Maranget, Luc
4
2005
An asynchronous, distributed implementation of mobile ambients. Zbl 0998.68537
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan
18
2000
Explicit substitutions and programming languages. Zbl 0958.68043
Lévy, Jean-Jacques; Maranget, Luc
2
1999
Some results in the join-calculus. Zbl 0885.03033
Lévy, Jean-Jacques
3
1997
Confluence properties of weak and strong calculi of explicit substitutions. Zbl 0885.03014
Curien, Pierre-Louis; Hardin, Thérèse; Levý, Jean-Jacques
16
1996
Analysis and caching of dependencies. Zbl 1344.68046
Abadi, Martín; Lampson, Butler; Lévy, Jean-Jacques
4
1996
Esprit basic research action 6454 - CONFER: CONcurrency and Functions: Evaluation and Reduction. Zbl 1023.68517
Lévy, Jean-Jacques; Thomsen, Bent; Leth, Lone; Giacalone, Alessandro
1
1992
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
100
1991
Full abstraction for sequential languages: the state of the art. Zbl 0604.68033
Berry, G.; Curien, P.-L.; Lévy, J.-J.
14
1985
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Minimal and optimal computations of recursive programs. Zbl 0388.68012
Berry, Gerard; Levy, Jean-Jacques
26
1979
A survey of some syntactic results in the \(\lambda\)-calculus. Zbl 0416.03016
Berry, Gerard; Levy, Jean-Jacques
1
1979
Le problème du partage dans l’evaluation des lambda-expressions. Zbl 0482.03002
Levy, Jean-Jacques
1
1978
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus. Zbl 0335.02016
Levy, Jean-Jacques
27
1976
A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020
Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J.
2
1975
all top 5

Cited by 260 Authors

10 Kamareddine, Fairouz D.
9 Kesner, Delia
6 Cavalcanti de Moura, Flávio Leonardo
6 Dezani-Ciancaglini, Mariangiola
6 Klop, Jan Willem
5 Ayala-Rincón, Mauricio
5 Curien, Pierre-Louis
5 Droste, Manfred
4 Mezzina, Claudio Antares
4 Yoshida, Nobuko
3 Bracho, Felipe
3 de Vries, Fer-Jan J.
3 Di Cosmo, Roberto
3 Dowek, Gilles
3 Gabbay, Murdoch James
3 Hardin, Thérèse
3 Kirchner, Claude
3 Lescanne, Pierre
3 Mackie, Ian
3 Meseguer Guaita, José
3 Nadathur, Gopalan
3 Nederpelt, Rob
3 Phillips, Iain W.
3 Roşu, Grigore
2 Abramsky, Samson
2 Aït-Kaci, Hassan
2 Ariola, Zena M.
2 Barbanera, Franco
2 Bendkowski, Maciej
2 Benzmüller, Christoph Ewald
2 Bloo, Roel
2 Boudol, Gérard
2 Brodo, Linda
2 Brookes, Stephen D.
2 Danvy, Olivier
2 Duggan, Dominic
2 Endrullis, Jörg
2 Farmer, William M.
2 Fernández, Maribel
2 Gadducci, Fabio
2 García-Pérez, Álvaro
2 Geuvers, Jan Herman
2 Glauert, John
2 Gorla, Daniele
2 Khasidashvili, Zurab O.
2 Lang, Frédéric
2 Lengrand, Stéphane Jean Eric
2 Lisper, Björn
2 Margaria, Ines
2 Medić, Doriana
2 Merro, Massimo
2 Nestmann, Uwe
2 Peters, Kirstin
2 Pientka, Brigitte
2 Pous, Damien
2 Renaud, Fabien
2 Ritter, Eike
2 Sabel, David
2 Salibra, Antonino
2 Schmidt-Schauß, Manfred
2 Şerbănuţă, Traian Florin
2 Severi, Paula Gabriela
2 Sinot, François-Régis
2 Steen, Alexander
2 Stefani, Jean-Bernard
2 Tiezzi, Francesco
2 van Bakel, Steffen
1 Abel, Andreas M.
1 Acar, Umut A.
1 Accattoli, Beniamino
1 Aceto, Luca
1 Achermann, Franz
1 Ahmed, Amal
1 Ahrens, Benedikt
1 Alessi, Fabio
1 Allais, Guillaume
1 Alpuente, María
1 Alves, Sandra
1 Arndt, Michael
1 Astesiano, Egidio
1 Ballis, Demis
1 Barbosa, A. V.
1 Barendregt, Hendrik Pieter
1 Battyányi, Péter
1 Benaissa, Zine-el-Abidine
1 Berry, Gerard
1 Bidinger, Philippe
1 Biernacka, Małgorzata
1 Blanqui, Frédéric
1 Blom, Stefan
1 Bloom, Bard
1 Bonelli, Eduardo
1 Briaud, Daniel
1 Brotherston, James
1 Bugliesi, Michele
1 Cai, Jiazhen
1 Carpineti, Samuele
1 Castagna, Giuseppe
1 Castellani, Ilaria
1 Cerrito, Serenella
...and 160 more Authors

Citations by Year