Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Lambda calculus and resource calculli – semantics and theories |
|---|---|
| Titolo del progetto di ricerca in inglese | Lambda calculus and resource calculli – semantics and theories |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’obiettivo del progetto è: si intende sviluppare lo studio di vari tipi di lambda calcolo nell'ambito della programmazione funzionale: lambda calcolo con risorse, lambda calcolo differenziale (con e senza promotion) e lambda calcolo puro. In particolare si intende: (1) Determinare quali lambda teorie sono teorie di oggetti riflessivi nella categoria d'insiemi e relazioni con le modalità esponenziali basate su semi-anelli con molteplicità. (2) Sviluppare un approccio algebrico alla semantica del lambda calcolo differenziale e con risorse. (3) Studiare in generale il collasso estensionale. (4) Studiare le proprietà matematiche dei semi-anelli con molteplicità. (5) Estendere la nozione di esponenziale con molteplicità ad una classe ampia di modelli categoriali della logica lineare. |
| Descrizione sintetica in inglese | Lambda calculus and resource calculli – semantics and theories |
| Data del bando | 02/07/2011 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 22817 |
| Periodicità | 12 months |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
All |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unive.it/nqcontent.cfm?a_id=1538 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 22817 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA - UNIVERSITY OF VENICE |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | VENICE |
| Sito web | http://www.unive.it |
| ricerca@unive.it | |
| Telefono | +39 041 2348565 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 11/07/2011 - alle ore 00:00 |
|---|