Publicações

AuthID
P-00P-YDA

Author(s)

Editor(es)

Geuvers H.Ivetic J.Ghilezan S.

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969

Volume: 97

Conference

22Nd International Conference on Types for Proofs and Programs, Types 2016, Date: 23 May 2016 through 26 May 2016

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.types.2016.10

SCOPUS: 2-s2.0-85057013371

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis