Sam Speight

Orcid: 0009-0009-3706-9427

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Impredicativity in Linear Dependent Type Theory.

[BibT_eX]

[DOI]

Sam Speight

Niels van der Weide

CoRR, February, 2026

tptl-dist: A Calculus for Verifying Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Javier Enríquez Mendoza

Sam Speight

Vincent Rahli

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

Combinatory Completeness inStructured Multicategories.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Combinatory Completeness in Structured Multicategories.

[BibT_eX]

[DOI]

CoRR, November, 2025

2024

Groupoidal realizability for intensional type theory.

[BibT_eX]

[DOI]

Samuel L. Speight

Math. Struct. Comput. Sci., 2024

2018

Impredicative Encodings of (Higher) Inductive Types.

[BibT_eX]

[DOI]

Steve Awodey

Jonas Frey

Sam Speight

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

Sam Speight

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...