most citedA linear proof language for second-order intuitionistic linear logic

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

3 papers

cs.CL2025

Te Ahorré Un Click: A Revised Definition of Clickbait and Detection in Spanish News

Gabriel Mordecki, Guillermo Moncecchi, Javier Couto

We revise the definition of clickbait, which lacks current consensus, and argue that the creation of a curiosity gap is the key concept that distinguishes clickbait from other rela…

cs.LO2025

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Alejandro Díaz-Caro, Nicolas A. Monzon

We introduce Lambda-SX, a typed quantum lambda-calculus that supports multiple measurement bases. By tracking duplicability relative to arbitrary bases within the type system, Lamb…

cs.LO2023★ 2 cited

A linear proof language for second-order intuitionistic linear logic

Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky +1

We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling…