CINECA IRIS Institutional Research Information System

MR3058889 Review of van Bakel, Steffen Completeness and soundness results for X with intersection and union types. Fund. Inform. 121 (2012), no. 1-4, 1–41.

PAOLINI, LUCA LUIGI
2013-01-01
2013
1
2
http://www.ams.org/mathscinet/search/publdoc.html?pg1=RVRI&pg3=authreviews&s1=660755&sort=Newest&vfpref=html&r=6&mx-pid=3029090
Luca Paolini
03D-Recensione in Rivista
File in questo prodotto:
File Dimensione Formato  
2013-MR3029090.pdf

Accesso aperto

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