Giordano Favro

According to our database, Giordano Favro authored at least 4 papers between 2014 and 2016.

Collaborative distances:

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

2016

Graph easy sets of mute lambda terms.

Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra

Theor. Comput. Sci., 2016

Factor Varieties and Symbolic Computation.

Antonino Salibra, Giulio Manzonetto, Giordano Favro

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Algebraic structures for the lambda calculus and the propositional logic.

Giordano Favro

PhD thesis, 2015

2014

A graph-easy class of mute lambda-terms.

Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014