Search Results for author:
Found 3 papers, 1 papers with code
Inferring the time-varying functional connectivity of large-scale computer networks from emitted events
We consider the problem of inferring the functional connectivity of a large-scale computer network from sparse time series of events emitted by its nodes.
Computational Higher Type Theory III: Univalent Universes and Exact Equality
This is the third in a series of papers extending Martin-L\"of's meaning explanations of dependent type theory to a Cartesian cubical realizability framework that accounts for higher-dimensional types.
Logic in Computer Science
Computational Higher Type Theory I: Abstract Cubical Realizability
Higher-dimensional type theory extends type theory to account for identifications of types and elements.
Logic in Computer Science
