Carolina Lavatelli

According to our database¹, Carolina Lavatelli authored at least 4 papers between 1996 and 1999.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1999

A semantics for lambda calculi with resources.

[DOI]

Math. Struct. Comput. Sci., 1999

1998

Deadlock Sensitive Types for Lambda Calculus with Resources.

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1996

Algebraic Interpretation of Lambda Calculus with Resources.

[DOI]

Proceedings of the CONCUR '96, 1996

Full Abstraction for Lambda Calculus with Resources and Convergence Testing.

[DOI]

Proceedings of the Trees in Algebra and Programming, 1996