The following pages link to Simonetta Ronchi della Rocca (Q1198660):
Displaying 19 items.
- (Q4600771) (← links)
- (Q4681363) (← links)
- The call-by-value λ-calculus: a semantic investigation (Q4719353) (← links)
- (Q4783322) (← links)
- Intersection Types from a Proof-theoretic Perspective (Q4903721) (← links)
- Call-by-value Solvability (Q4953339) (← links)
- (Q4964689) (← links)
- (Q4986738) (← links)
- (Q4993853) (← links)
- Type inference in polymorphic type discipline (Q5096210) (← links)
- New Semantical Insights Into Call-by-Value λ-Calculus (Q5212041) (← links)
- Essential and relational models (Q5269000) (← links)
- Observability for Pair Pattern Calculi (Q5277835) (← links)
- Standardization of a Call-By-Value Lambda-Calculus (Q5277841) (← links)
- Typed Lambda Calculi and Applications (Q5704005) (← links)
- (Q5856410) (← links)
- Foundations of Software Science and Computation Structures (Q5899100) (← links)
- A quantitative version of simple types (Q6622073) (← links)
- Lambda calculus and probabilistic computation (Q6654500) (← links)
