Eduardo Bonelli | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Delia Kesner
13 publications
Mauricio Ayala-Rincón
9 publications
Andrés Viso
6 publications
Pablo Barenbaum
6 publications

research

∙ 10/27/2022

Reductions in Higher-Order Rewriting and Their Equivalence

Proof terms are syntactic expressions that represent computations in ter...

0 Pablo Barenbaum, et al. ∙

research

∙ 04/07/2022

Proceedings 16th Logical and Semantic Frameworks with Applications

This volume contains the post-proceedings of the Sixteenth Logical and S...

0 Mauricio Ayala-Rincón, et al. ∙

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...

0 Eduardo Bonelli, et al. ∙

research

∙ 06/22/2019

Strong Bisimulation for Control Operators

The purpose of this paper is to identify programs with control operators...

0 Eduardo Bonelli, et al. ∙