Federico Orsanigo

According to our database, Federico Orsanigo authored at least 5 papers between 2015 and 2019.

Collaborative distances:

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

2019

Universal properties for universal types in bifibrational parametricity.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Math. Struct. Comput. Sci., 2019

2017

Bifibrational parametricity: from zero to two dimensions.

Federico Orsanigo

PhD thesis, 2017

2016

Proof-Relevant Parametricity.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Bifibrational Functorial Semantics of Parametric Polymorphism.

Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Parametric Polymorphism - Universally.

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo

Proceedings of the Logic, Language, Information, and Computation, 2015