A new connective in natural deduction, and its application to quantum computing von Díaz-Caro, Alejandro, Dowek, Gilles

Volltext

Extensional proofs in a propositional logic modulo isomorphisms von Díaz-Caro, Alejandro, Dowek, Gilles

Volltext

Classically time-controlled quantum automata: definition and properties von Díaz-Caro, Alejandro, Villagra, Marcos

Volltext

Bacterial species may exist, metagenomics reveal von Caro-Quintero, Alejandro, Konstantinidis, Konstantinos T.

Volltext

A linear linear lambda-calculus von Díaz-Caro, Alejandro, Dowek, Gilles

Volltext

A concrete model for a typed linear algebraic lambda calculus von Díaz-Caro, Alejandro, Malherbe, Octavio

Volltext

A Quick Overview on the Quantum Control Approach to the Lambda Calculus von Díaz-Caro, Alejandro

Volltext

Two linearities for quantum computing in the lambda calculus von Díaz-Caro, Alejandro, Dowek, Gilles, Rinaldi, Juan Pablo

Volltext

Biogeochemical and metagenomic analysis of nitrite accumulation in the Gulf of Mexico hypoxic zone von Bristow, Laura A., Sarode, Neha, Cartee, John, Caro-Quintero, Alejandro, Thamdrup, Bo, Stewart, Frank J.

Volltext

A Categorical Construction for the Computational Definition of Vector Spaces von Díaz-Caro, Alejandro, Malherbe, Octavio

Volltext

Integrating new variables into a framework to support cacao denomination of origin: a case study in Southwest Colombia von González‐Orozco, Carlos E, Porcel, Mario, Yockteng, Roxana, Caro‐Quintero, Alejandro, Rodriguez‐Medina, Caren, Santander, Margareth, Zuluaga, Martha, Soto, Mauricio, Rodriguez Cortina, Jader, Vaillant, Fabrice Eric, Escobar Parra, Sebastian

Volltext

The vectorial λ-calculus von Arrighi, Pablo, Díaz-Caro, Alejandro, Valiron, Benoît

Volltext

A Note on Confluence in Typed Probabilistic Lambda Calculi von Romero, Rafael, Díaz-Caro, Alejandro

Volltext

Differences in healthcare utilisation between users and non-users of homeopathic products in Spain: Results from three waves of the National Health Survey (2011-2017) von Pinilla, Jaime, Rodriguez-Caro, Alejandro

Volltext

Functional and Phylogenetic Characterization of Bacteria in Bovine Rumen Using Fractionation of Ruminal Fluid von Hernández, Ruth, Chaib De Mares, Maryam, Jimenez, Hugo, Reyes, Alejandro, Caro-Quintero, Alejandro

Volltext

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model von Díaz-Caro, Alejandro, Malherbe, Octavio

Volltext

Gut-derived Flavonifractor species variants are differentially enriched during in vitro incubation with quercetin von Rodriguez-Castaño, Gina Paola, Rey, Federico E, Caro-Quintero, Alejandro, Acosta-González, Alejandro

Volltext

Fine Resolution Analysis of Microbial Communities Provides Insights Into the Variability of Cocoa Bean Fermentation von Pacheco-Montealegre, Mauricio Edilberto, Dávila-Mora, Lizeth Lorena, Botero-Rute, Lina Marcela, Reyes, Alejandro, Caro-Quintero, Alejandro

Volltext

Effect of Tourism Pressure on the Mediterranean Diet Pattern von Rodríguez-Mireles, Silvia, López-Valcárcel, Beatriz G, Serra-Majem, Lluís, Hernández-Yumar, Aránzazu, Barber-Pérez, Patricia, Pinilla-Domínguez, Jaime, Rodríguez-Feijoo, Santiago, Rodríguez-Caro, Alejandro

Volltext

Metagenomic Insights into the Evolution, Function, and Complexity of the Planktonic Microbial Community of Lake Lanier, a Temperate Freshwater Ecosystem von Oh, Seungdae, Caro-Quintero, Alejandro, Tsementzi, Despina, DeLeon-Rodriguez, Natasha, Luo, Chengwei, Poretsky, Rachel, Konstantinidis, Konstantinos T.

Volltext