Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Lancelot, Adrienne"'
Contextual equivalence is the de facto standard notion of program equivalence. A key theorem is that contextual equivalence is an equational theory. Making contextual equivalence more intensional, for example taking into account the time cost of the
Externí odkaz:
http://arxiv.org/abs/2409.18709
Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise duplicating behaviour of the latter. To better understand how duplication
Externí odkaz:
http://arxiv.org/abs/2402.12078
Normal form bisimilarities are a natural form of program equivalence resting on open terms, first introduced by Sangiorgi in call-by-name. The literature contains a normal form bisimilarity for Plotkin's call-by-value $\lambda$-calculus, Lassen's \em
Externí odkaz:
http://arxiv.org/abs/2303.08161