CINECA IRIS Institutional Research Information System

A higher-order calculus of computational fields

Audrito, Giorgio;Damiani, Ferruccio;
2019-01-01
2019
20
1
1
55
http://dl.acm.org/citation.cfm?id=J773
Adequacy; Aggregate programming; Computational field; Core calculus; Full abstraction; Spatial computing; Type inference system; Type soundness; Theoretical Computer Science; Computer Science (all); Logic; Computational Mathematics
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
03A-Articolo su Rivista
File in questo prodotto:
File Dimensione Formato  
TOCL-2019-Audrito-et-al.pdf

Accesso riservato

Descrizione: Articolo principale
Tipo di file: PDF EDITORIALE
Dimensione 3.36 MB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
3.36 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
main.pdf

Accesso aperto

Descrizione: Articolo principale
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 1.5 MB
Formato Adobe PDF
Visualizza/Apri
1.5 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1696316
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 60
  • ???jsp.display-item.citation.isi??? 40
social impact