Jean-Jacques Lévy

From MaRDI portal
Person:1229200

Available identifiers

zbMath Open levy.jean-jacquesWikidataQ102347974 ScholiaQ102347974MaRDI QIDQ1229200

List of research outcomes





PublicationDate of PublicationType
A calculus of mobile agents2023-06-28Paper
https://portal.mardi4nfdi.de/entity/Q58754212023-02-03Paper
A semi-automatic proof of strong connectivity2018-12-07Paper
The cost of usage in the \(\lambda\)-calculus2017-07-03Paper
Redexes are stable in the \(\lambda\)-calculus2017-06-14Paper
Analysis and caching of dependencies2016-09-01Paper
Introduction to the theory of programming languages.2010-10-13Paper
https://portal.mardi4nfdi.de/entity/Q35719452010-06-29Paper
Generalized finite developments2010-02-05Paper
Processes, Terms and Cycles: Steps on the Road to Infinity2006-11-13Paper
https://portal.mardi4nfdi.de/entity/Q44378062003-12-15Paper
https://portal.mardi4nfdi.de/entity/Q44313822003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q45364362002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45016712000-09-04Paper
Explicit substitutions2000-02-09Paper
Confluence properties of weak and strong calculi of explicit substitutions1998-01-21Paper
https://portal.mardi4nfdi.de/entity/Q43643901997-11-17Paper
https://portal.mardi4nfdi.de/entity/Q38305121988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37410421985-01-01Paper
Minimal and Optimal Computations of Recursive Programs1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32052121979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39397781978-01-01Paper
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41017951975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40829951975-01-01Paper

Research outcomes over time

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