CINECA IRIS Institutional Research Information System

Review MR2968322 of Dal Lago, Ugo; Martini, Simone. On constructor rewrite systems and the lambda-calculus. Log. Methods Comput. Sci. 8 (2012), no. 3, 3:12.

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=8&mx-pid=2968322
Luca Paolini
03D-Recensione in Rivista
File in questo prodotto:
File Dimensione Formato  
2012-MR2968322.pdf

Accesso aperto

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