CINECA IRIS Institutional Research Information System

Completeness Results for a Polymorphic Type System

COPPO, Mario;GIOVANNETTI, Elio
1983-01-01
1983
Inglese
contributo
2 - Congresso
CAAP '83 Trees in Algebra and Programming
L'Aquila (Italy)
March 9-11, 1983
Internazionale
G. Ausiello, M. Protasi
CAAP '83 Trees in Algebra and Programming
Comitato scientifico
Springer-Verlag
Berlin
GERMANIA
159
179
190
12
LECTURE NOTES IN COMPUTER SCIENCE
3540127275
no
2 – prodotto con deroga d’ufficio (SOLO se editore non consente/non ha risposto)
2
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Mario Coppo; Elio Giovannetti
273
none
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/105531
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact