Anastasia Veneti

According to our database, Anastasia Veneti authored at least 3 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A logic for intersection and union types

Anastasia Veneti

PhD thesis, 2015

2012

Towards a Logic for Union Types.

Yiorgos Stavrinos, Anastasia Veneti

Fundam. Informaticae, 2012

2010

Intersection Logic in sequent calculus style

Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010