Carolina Lavatelli

From MaRDI portal
Revision as of 00:45, 28 December 2023 by Import231226041258 (talk | contribs) (Created automatically from import231226041258)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:4247264

Available identifiers

zbMath Open lavatelli.carolinaMaRDI QIDQ4247264

List of research outcomes





PublicationDate of PublicationType
Algebraic interpretation of lambda calculus with resources2023-06-28Paper
Full abstraction for lambda calculus with resources and convergence testing2023-02-23Paper
A semantics for lambda calculi with resources2000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42472652000-02-15Paper

Research outcomes over time

This page was built for person: Carolina Lavatelli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4247264&oldid=11667366"
Powered by MediaWiki