David Wahlstedt

According to our database, David Wahlstedt authored at least 3 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Cumulative Subtraction Games.

Gal Cohensius, Urban Larsson, Reshef Meir, David Wahlstedt

Electron. J. Comb., 2019

2012

Stop When You Are Almost-Full - Adventures in Constructive Termination.

Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2007

Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion.

David Wahlstedt

PhD thesis, 2007