output
20202022
most citedPolynomial Life: the Structure of Adaptive Systems

2 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2021

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

Ugo Dal Lago, Valeria de Paiva

This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…

cs.LO2020★ 1 cited

Deriving Theorems in Implicational Linear Logic, Declaratively

Paul Tarau, Valeria de Paiva

The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for l…