A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannick Forster 0002, Fabian Kunze, Gert Smolka, Maximilian Wuttke. A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

This author has not been identified. Look up 'Yannick Forster 0002' in GoogleThis author has not been identified. Look up 'Fabian Kunze' in GoogleThis author has not been identified. Look up 'Gert Smolka' in GoogleThis author has not been identified. Look up 'Maximilian Wuttke' in Google

runs on WebDSL