Fabian Kunze

Identifiers

• name variant Fabian Kunze 0.50 · backfill

Papers (1)

1. Formal Small-step Verification of a Call-by-value Lambda Calculus Machine cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Gert Smolka 1 shared papers
• Yannick Forster 1 shared papers