Lukas Mulder

According to our database1, Lukas Mulder authored at least 3 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Continuous Algebras with Hypotheses.
CoRR, May, 2026

2025
Functoriality of Enriched Data Types.
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, May, 2025

2024
Measuring data types.
CoRR, 2024


  Loading...