The following pages link to Fabian Kunze (Q2209540):
Displayed 5 items.
- The \textsc{MetaCoq} project (Q2209542) (← links)
- A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus (Q5875425) (← links)
- (Q6099607) (← links)
- (Q6099609) (← links)
- Formal small-step verification of a call-by-value lambda calculus machine (Q6166150) (← links)