Timothy Revell

According to our database, Timothy Revell authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

2016

Types, categories, actions.

Timothy Revell

PhD thesis, 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

Models for Polymorphism over Physical Dimension.

Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015