Barbanera, Franco: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Intersection types and lambda models

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 352 KB

english, 2006

2

Intersection types for λ-trees

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

3

Intersection Types and Computational Rules

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

4

Proof-irrelevance out of excluded-middle and choice in the calculus of constructions

Barbanera, Franco, Berardi, Stefano

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 369 KB

english, 1996

5

Orchestrated session compliance

Barbanera, Franco, van Bakel, Steffen, de'Liguoro, Ugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 2.08 MB

english, 2016

6

Session types and subtyping for orchestrated interactions

Barbanera, Franco, de'Liguoro, Ugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 770 KB

2019

7

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 770 KB

english, 2019

8

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 770 KB

2019

9

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 807 KB

2021

10

A strong normalization result for classical logic

Franco Barbanera, Stefano Berardi

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

11

Type Assignement for Mobile Objects

Franco Barbanera, Ugo de'Liguoro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 265 KB

english, 2004

12

Space-aware ambients and processes

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 549 KB

english, 2007

13

A full continuous model of polymorphism

Franco Barbanera, Stefano Berardi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

14

Intersection type assignment systems with higher-order algebraic rewriting

Franco Barbanera, Maribel Fernández

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.41 MB

english, 1996

15

Proof-functional connectives and realizability

Franco Barbanera, Simone Martini

Journal:

Archive for Mathematical Logic

Year:

1994

Language:

english

File:

PDF, 1.23 MB

english, 1994

16

A Type Inference Algorithm for Secure Ambients

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

17

Can Addresses be Types?: A case study: objects with delegation

Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

18

A Symmetric Lambda Calculus for Classical Program Extraction

Franco Barbanera, Stefano Berardi

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 833 KB

english, 1996

19

The Simply Typed Theory ofβ-conversion Has No Maximum Extension

Franco Barbanera, Stefano Berardi

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 226 KB

english, 1997

20

Sequenced RAPD markers to detect hybridization in the barbary partridge (Alectoris barbara, Phasianidae)

FILIPPO BARBANERA, MONICA GUERRINI, FRANCO BERTONCINI, FABIO CAPPELLI, MARCO MUZZEDDU, FERNANDO DINI

Journal:

Molecular Ecology Resources

Year:

2011

Language:

english

File:

PDF, 211 KB

english, 2011

21

COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS

BARBANERA, FRANCO

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 911 KB

english, 1990

22

Preliminary Optimization of Alkaline Pretreatment for Ethanol Production from Vineyard Pruning

Cotana, Franco, Barbanera, Marco, Foschini, Daniele, Lascaro, Elisa, Buratti, Cinzia

Journal:

Energy Procedia

Year:

2015

Language:

english

File:

PDF, 252 KB

english, 2015

23

Effect of Steam Explosion Pretreatment on Sugar Production by Enzymatic Hydrolysis of Olive Tree Pruning

Barbanera, Marco, Buratti, Cinzia, Cotana, Franco, Foschini, Daniele, Lascaro, Elisa

Journal:

Energy Procedia

Year:

2015

Language:

english

File:

PDF, 314 KB

english, 2015

24

Modularity of strong normalization in the algebraic-λ-cube

BARBANERA, FRANCO, FERNÁNDEZ, MARIBEL, GEUVERS, HERMAN

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 498 KB

english, 1997

25

Sub-behaviour relations for session-based client/server systems

BARBANERA, FRANCO, DE'LIGUORO, UGO

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 324 KB

english, 2015

26

Reversible client/server interactions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, de’Liguoro, Ugo

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

27

Energy Enhancement of the Residues from the Cardoon Seeds Milling: Preliminary Experimentation in a Small Size Biogas Plant

Petrozzi, Alessandro, Cavalaglio, Gianluca, Coccia, Valentina, Nicolini, Andrea, Barbanera, Marco, Cotana, Franco

Journal:

Energy Procedia

Year:

2016

Language:

english

File:

PDF, 863 KB

english, 2016

28

Energy and Environmental Performance Analysis of Biomass-fuelled Combined Cooling and Heating System for Commercial Building Retrofit: An Italian Case Study

Moretti, Elisa, Barbanera, Marco, Foschini, Daniele, Buratti, Cinzia, Cotana, Franco

Journal:

Energy Procedia

Year:

2016

Language:

english

File:

PDF, 674 KB

english, 2016

29

A Constructive Valuation Semantics for Classical Logic

Barbanera, Franco, Berardi, Stefano

Journal:

Notre Dame Journal of Formal Logic

Year:

1996

Language:

english

File:

PDF, 121 KB

english, 1996

30

Sustainable New Brick and Thermo-Acoustic Insulation Panel from Mineralization of Stranded Driftwood Residues

Pisello, Anna, Fabiani, Claudia, Makaremi, Nastaran, Castaldo, Veronica, Cavalaglio, Gianluca, Nicolini, Andrea, Barbanera, Marco, Cotana, Franco

Journal:

Year:

2016

Language:

english

File:

PDF, 8.30 MB

english, 2016

31

Lignocellulosic Ethanol Production from the Recovery of Stranded Driftwood Residues

Cavalaglio, Gianluca, Gelosia, Mattia, D’Antonio, Silvia, Nicolini, Andrea, Pisello, Anna, Barbanera, Marco, Cotana, Franco

Journal:

Year:

2016

Language:

english

File:

PDF, 697 KB

english, 2016

32

Driftwood Biomass in Italy: Estimation and Characterization

Cotana, Franco, Buratti, Cinzia, Barbanera, Marco, Cavalaglio, Gianluca, Foschini, Daniele, Nicolini, Andrea, Pisello, Anna

Journal:

Year:

2016

Language:

english

File:

PDF, 1.47 MB

english, 2016

33

A theory of retractable and speculative contracts

Barbanera, Franco, Lanese, Ivan, de'Liguoro, Ugo

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 646 KB

english, 2018

34

Assessing the Potentiality of Animal Fat Based-Bio Phase Change Materials (PCM) for Building Applications: An Innovative Multipurpose Thermal Investigation

Fabiani, Claudia, Pisello, Anna, Barbanera, Marco, Cabeza, Luisa, Cotana, Franco

Journal:

Year:

2019

Language:

english

File:

PDF, 16.81 MB

english, 2019

35

Impact of storage on energy performance of laricio pine wood chips: A case study in Italy

Buratti, Cinzia, Cristarella Orestano, Francesco, Cotana, Franco, Quaglietta, Pietro, Antonelli, Pamela, Barbanera, Marco

Journal:

Industrial Crops and Products

Year:

2019

Language:

english

File:

PDF, 1.58 MB

english, 2019

36

Production of Carbohydrates from Cardoon Pre-Treated by Acid-Catalyzed Steam Explosion and Enzymatic Hydrolysis

Bertini, Alessandro, Gelosia, Mattia, Cavalaglio, Gianluca, Barbanera, Marco, Giannoni, Tommaso, Tasselli, Giorgia, Nicolini, Andrea, Cotana, Franco

Journal:

Year:

2019

Language:

english

File:

PDF, 1.43 MB

english, 2019

37

Acid-Assisted Organosolv Pre-Treatment and Enzymatic Hydrolysis of Cynara cardunculus L. for Glucose Production

Gelosia, Mattia, Bertini, Alessandro, Barbanera, Marco, Giannoni, Tommaso, Nicolini, Andrea, Cotana, Franco, Cavalaglio, Gianluca

Journal:

Year:

2020

File:

PDF, 1010 KB

2020

38

Prediction of the environmental impacts of yeast biodiesel production from cardoon stalks at industrial scale

Barbanera, Marco, Castellini, Marco, Tasselli, Giorgia, Turchetti, Benedetta, Cotana, Franco, Buzzini, Pietro

Journal:

Year:

2021

File:

PDF, 1.44 MB

2021