BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Sandra Alves

Sandra Alves appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Logic in Computer ScienceProgramming Languagescond-mat.mes-hallcond-mat.mtrl-sciCryptography and SecuritySoftware Engineering

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Structural Rules and Algebraic Properties of Intersection Types

In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system, terms typed by non-idempotent intersections with terms typed in the affine and linear type systems and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. Finally, we show how idempotent intersection is related with the contraction rule, commutative intersection with the exchange rule and associative intersection with the lack of structural rules in a type system.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Covalent Grafting of Polyoxometalate Hybrids onto Flat Silicon/Silicon Oxide: Insights from POMs Layers on Oxides

Immobilization of polyoxometalates (POMs) onto oxides is relevant to many applications in the fields of catalysis, energy conversion/storage or molecular electronics. Optimization and understanding the molecule/oxide interface is crucial to rationally improve the performance of the final molecular materials. We herein describe the synthesis and covalent grafting of POM hybrids with remote carboxylic acid functions onto flat Si/SiO2 substrates. Special attention has been paid to the characterization of the molecular layer and to the description of the POM anchoring mode at the oxide interface through the use of various characterization techniques, including ellipsometry, AFM, XPS and FTIR. Finally, electron transport properties were probed in a vertical junction configuration and energy level diagrams have been drawn and discussed in relation with the POM molecular electronic features inferred from cyclic-voltammetry, UV-visible absorption spectra and theoretical calculations. The electronic properties of these POM-based molecular junctions are driven by the POM LUMO (d-orbitals) whatever the nature of the tether or the anchoring group.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Linear Recursion

We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both approaches are compatible with linearity and typeability constraints. Both extensions of the typed linear lambda-calculus are minimal, in the sense that taking out any of the components breaks the universality of the system. We discuss implementation techniques that exploit the linearity of the calculi. Finally, we apply the results to languages with fixpoint operators: we give a compilation of the programming language PCF into a linear lambda-calculus with linear unbounded recursion.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Proceedings Third International Workshop on Linearity

This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic Conference. It was held as part of the 2014 Vienna Summer of Logic. The aim of this workshop was to bring together researchers who are exploring theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Of interest were new results that made a central use of linearity, ranging from foundational work to applications in any field. This included: sub-linear logics, linear term calculi, linear type systems, linear proof-theory, linear programming languages, applications to concurrency, interaction-based systems, verification of linear systems, quantum models of computation, and biological and chemical models of computation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Proceedings 2nd International Workshop on Linearity

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th European Joint Conference on Theory and Practice of Software. The aim of this workshop was to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

0 citations0 reviewsNo code linkedOpen access