Kristina Sojakova

E1943227 UNEXPLORED

Kristina Sojakova is a researcher in mathematical logic and type theory, known for her work in homotopy type theory and related areas of theoretical computer science.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Kristina Sojakova canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Peter LeFanu Lumsdaine → hasCoauthor → Kristina Sojakova ⓘ