Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Internalizing Relational Parametricity in the Extensional Calculus of Constructions

Krishnaswami, N., & Dreyer, D. (2013). Internalizing Relational Parametricity in the Extensional Calculus of Constructions. In S. Ronchi Della Rocca (Ed.), Computer Science Logic 2013 (pp. 432-451). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CSL.2013.432.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-19FB-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-19FC-2

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

ausblenden:

externe Referenz:
http://drops.dagstuhl.de/opus/volltexte/2013/4212/ (beliebiger Volltext) Open Access Status unbekannt

Open Access Status unbekannt

Beschreibung:
-

OA-Status:

Urheber

ausblenden:

Urheber:
Krishnaswami, Neelakantan¹, Autor
Dreyer, Derek¹, Autor

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2013Erschienen: 2013

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: Interne Begutachtung

Identifikatoren: eDoc: 687875
URN: urn:nbn:de:0030-drops-42125
DOI: 10.4230/LIPIcs.CSL.2013.432

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 22nd Annual Conference of the EACSL

Veranstaltungsort: Torino, Italy

Start-/Enddatum: 2013-09-02 - 2013-09-05

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Computer Science Logic 2013

Kurztitel : CSL 2013

Untertitel : 22nd Annual Conference of the EACSL ; CSL’13, September 2–5, 2013, Torino, Italy

Genre der Quelle: Konferenzband

Urheber:
Ronchi Della Rocca, Simona¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 432 - 451 Identifikator: ISBN: 978-3-939897-60-6

Quelle 2

ausblenden:

Titel: Leibniz International Proceedings in Informatics

Kurztitel : LIPIcs

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 23 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1868-8969