Jean-Jacques Lévy

Available identifiers

zbMath Open levy.jean-jacquesWikidataQ102347974 ScholiaQ102347974MaRDI QIDQ1229200

List of research outcomes

Publication	Date of Publication	Type
A calculus of mobile agents	2023-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875421	2023-02-03	Paper
A semi-automatic proof of strong connectivity	2018-12-07	Paper
The cost of usage in the \(\lambda\)-calculus	2017-07-03	Paper
Redexes are stable in the \(\lambda\)-calculus	2017-06-14	Paper
Analysis and caching of dependencies	2016-09-01	Paper
Introduction to the theory of programming languages.	2010-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q3571945	2010-06-29	Paper
Generalized finite developments	2010-02-05	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4437806	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4431382	2003-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536436	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4501671	2000-09-04	Paper
Explicit substitutions	2000-02-09	Paper
Confluence properties of weak and strong calculi of explicit substitutions	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4364390	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q3830512	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3741042	1985-01-01	Paper
Minimal and Optimal Computations of Recursive Programs	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3205212	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939778	1978-01-01	Paper
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101795	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082995	1975-01-01	Paper

Research outcomes over time

This page was built for person: Jean-Jacques Lévy