Publications

AuthID
P-00P-YDA

Author(s)

Editor(s)

Geuvers H.Ivetic J.Ghilezan S.

Document Type

Proceedings Paper

Year published

2018

Published

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

Marked List

Info

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

Useful Links