Timothy Revell

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Types, categories, actions.
PhD thesis, 2016

2015
Bifibrational Functorial Semantics of Parametric Polymorphism.
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Models for Polymorphism over Physical Dimension.
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015


  Loading...