Steven Bronsveld

According to our database, Steven Bronsveld authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Master Thesis Impredicative Encodings of Inductive and Coinductive Types.

Steven Bronsveld, Herman Geuvers, Niels van der Weide

CoRR, May, 2025

Impredicative Encodings of Inductive and Coinductive Types.

Steven Bronsveld, Herman Geuvers, Niels van der Weide

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025