research
∙
10/27/2022
Reductions in Higher-Order Rewriting and Their Equivalence
Proof terms are syntactic expressions that represent computations in ter...
share
research
∙
04/07/2022
Proceedings 16th Logical and Semantic Frameworks with Applications
This volume contains the post-proceedings of the Sixteenth Logical and S...
research
∙
01/14/2021
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction
The purpose of this paper is to identify programs with control operators...
research
∙
06/22/2019