CINECA IRIS Institutional Research Information System

Leibniz International Proceedings in Informatics, LIPIcsVolume 1881 June 2021 26th International Conference on Types for Proofs and Programs, TYPES 2020 Turin 2 March 2020 through 5 March 2020

Ugo de'Liguoro;Stefano Berardi;
2020-01-01
2020
26th International Conference on Types for Proofs and Programs, TYPES 2020Turin2
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Leibniz International Proceedings in Informatics, LIPIcs
1881
1
10
Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
02E-Prefazione/Postfazione
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/2077405
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact