Johannes Schipp von Branitz

Orcid: 0000-0002-9057-1928

According to our database¹, Johannes Schipp von Branitz authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Primitive Recursive Dependent Type Theory.

[DOI]

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024