Archivio istituzionale della ricerca dell'Università degli Studi di Palermo

ACZEL, P., GAMBINO NICOLA (2002). Collection Principles in Dependent Type Theory. In Types for proofs and programs, Lecture Notes in Computer Science. Springer.

Collection Principles in Dependent Type Theory

GAMBINO, Nicola
2002-01-01
2002
Types 2000
2002
23
ACZEL, P., GAMBINO NICOLA (2002). Collection Principles in Dependent Type Theory. In Types for proofs and programs, Lecture Notes in Computer Science. Springer.
Proceedings (atti dei congressi)
ACZEL, PETER; GAMBINO NICOLA
Proceedings
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/10447/40055
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? ND
social impact