Zobrazeno 1 - 4
of 4
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
Autor:
Naoki Kobayashi, James Worrell
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full p