Sam Speight

According to our database, Sam Speight authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Impredicative Encodings of (Higher) Inductive Types.

Steve Awodey, Jonas Frey, Sam Speight

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018