Sam Speight

According to our database¹, Sam Speight authored at least 2 papers between 2018 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Groupoidal realizability for intensional type theory.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2024

2018

Impredicative Encodings of (Higher) Inductive Types.

[BibT_eX]

[DOI]

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