Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jeremy Ledent is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Two-agent approximate agreement from an epistemic logic perspective
Armenta-Segura, J., Ledent, J. & Rajsbaum, S., 30 Jun 2022, In: Computación y Sistemas. 26, 2, p. 769-785 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Downloads (Pure) -
A quantitative model for simply typed λ-calculus
Hofmann, M. & Ledent, J., 1 Jun 2022, In: Mathematical Structures in Computer Science. 32, Special Issue 6, p. 777-793 18 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Downloads (Pure)
Prizes
-
Distinguished Presentation Award
Nordvall Forsberg, Fredrik (Recipient), Capucci, Matteo (Recipient), Ghani, Neil (Recipient) & Ledent, Jeremy (Recipient), 8 Jun 2021
Prize: Prize (including medals and awards)