CINECA IRIS Institutional Research Information System

An Algebraic Approach to the Interpretation of Recursive Types

CARDONE, Felice
1992-01-01
1992
CAAP '92, 17th Colloquium on Trees in Algebra and Programming
Rennes
February 26-28
CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings
Springer-Verlag
66
85
3540552510
recursive types; iterative algebraic theories
Cardone F.
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/106735
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact