Bicocca Open Archive

Logo unimib boa

Bertoni, A., Mauri, G., Miglioli, P., Ornaghi, M. (1984). Abstract data types and their extension within a constructive logic. In Proceedings of International Symposium on the Semantics of Data Types, 1984 (pp.177-195). Springer [10.1007/3-540-13346-1_9].

Abstract data types and their extension within a constructive logic

Mauri, G;
1984
slide + paper
Abstract data types; constructive logic
English
International Symposium on the Semantics of Data Types, 1984 - 27 June 1984 through 29 June 1984
1984
Kahn, G; MacQueen, DB; Plotkin, G
Proceedings of International Symposium on the Semantics of Data Types, 1984
978-3-540-13346-9
1984
173 LNCS
177
195
none
Bertoni, A., Mauri, G., Miglioli, P., Ornaghi, M. (1984). Abstract data types and their extension within a constructive logic. In Proceedings of International Symposium on the Semantics of Data Types, 1984 (pp.177-195). Springer [10.1007/3-540-13346-1_9].
02 - Intervento a convegno
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/10281/17186
Citazioni
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 8
Social impact