Jan Christiansen (Flensburg University of Applied Sciences
Identifiers
- name variant Jan Christiansen (Flensburg University of Applied Sciences 0.50 · backfill
Papers (1)
- One Monad to Prove Them All cs.PL · 2018 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Finn Teegen (University of Kiel 1 shared papers
- Germany) 1 shared papers
- Sandra Dylus (CAU Kiel 1 shared papers