Old Web
English
Sign In
Acemap
>
Paper
>
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus.
2021
Yannick Forster
Fabian Kunze
Gert Smolka
Maximilian Wuttke
Keywords:
calculus
Evaluation strategy
Calculus
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]