CINECA IRIS Institutional Research Information System

Observability for Pair Pattern Calculi

RONCHI DELLA ROCCA, Simonetta
2015-01-01
2015
Inglese
contributo
1 - Conferenza
Typed Lambda Calculus and Applications
Varsavia
29 giugno - 3 luglio 2015
Internazionale
Bucciarelli A., Kesner D., Ronchi Della Rocca S.
Thorsten Altenkirch
Typed Lambda Calculus and Applications
Esperti anonimi
Lipics
Dagsthul
GERMANIA
38
123
137
15
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
978-3-939897-87-3
2-s2.0-84958687904
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=5159
sì
FRANCIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
3
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
273
open
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
BKR.pdf

Accesso aperto

Descrizione: risultato teorico
Tipo di file: PDF EDITORIALE
Dimensione 526.62 kB
Formato Adobe PDF
Visualizza/Apri
526.62 kB 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/1529089
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact