Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems | BibSonomy

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
, , , , , , , , , und .
MSFP, Volume 76 von EPTCS, Seite 112-162. (2012)

  • @dblp
Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung
Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.