Objective
In [Gue95] we investigated the properties of (Levy) optimality for ?-graph reductions ` la Lamping from a graph theoretic point of view, introducing some new concepts as the ones of sharing-graph and sharing-morphism, and adapting some methods already used by Geometry of Interaction. The previous approach succeeds in the study ot the graph-rewriting system, giving an extended set of rules w.r.t. the ones suggested by Gonthier et al, and Asperti. Such an approach is not completely satisfactory from a logical point view, as it does not help in the comprehension of the logical meaning of the intermediate graphs which arise during the computations. We suggest an interpretation of the sharing-notes (muxes) as tuple constructors, and we plan to study a calculus and the corresponding deduction system by means of suitable proof-nets among which there are the sharing-graphs.
We also plan to extend the methods to MELL and other calculi. [Gue95] S. Guerrini. Sharing-graphs, sharing-morphims, and (optimal) ?-graph reductions. Accepted at The Tbilisi Symposium on Language, Logic and Computation, Tbilisi, October 1995.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
13288 MARSEILLE
France
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.