A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “simple type theory” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Improving the Expressivity of Structural Type Theory
2026 Studia Logica article Computer Science Logic, programming, and type systems Open access

Samuel González-Castillo

0

citations
Mean-field and kinetic descriptions of neural differential equations
2022 Foundations of Data Science article Computer Science Neural Networks and Applications Open access

Michaël Herty, Torsten Trimborn, Giuseppe Visconti

9

citations
Mean-Field and Kinetic Descriptions of Neural Differential Equations
2020 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Michael Herty, T. Trimborn, G. Visconti

0

citations
Stärken und Grenzen des Weisfeiler-Leman-Algorithmus
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Sandra Kiefer

7

citations
Operator entanglement growth quantifies complexity of cellular automata
2024 arXiv (Cornell University) preprint Computer Science Cellular Automata and Applications Open access

Wout Merbis, Calvin C. Bakker

0

citations

5 results