David Obwaller

Orcid: 0000-0002-4925-4744

According to our database¹, David Obwaller authored at least 2 papers between 2016 and 2022.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2022

Type-based analysis of logarithmic amortised complexity.

[DOI]

Math. Struct. Comput. Sci., June, 2022

2016

Interaction Automata and the ia2d Interpreter.

[DOI]

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016