26th International Conference on Types for Proofs and Programs (TYPES 2020)

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783959771825
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 188

Event
Veröffentlichung
(where)
Wadern
(who)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
(when)
2021
Contributor
de'Liguoro, Ugo
Berardi, Stefano
Altenkirch, Thorsten

URN
urn:nbn:de:0030-drops-138785
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 11:01 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • de'Liguoro, Ugo
  • Berardi, Stefano
  • Altenkirch, Thorsten
  • Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Time of origin

  • 2021

Other Objects (12)