Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2011/12 / Oberseminar / Yangyue Feng, Typed Operational Semantics for Intensional Dependent Record Types


Inhaltsbereich

Yangyue Feng, Typed Operational Semantics for Intensional Dependent Record Types

TCS Oberseminar, 25.11.2011 14:15 Uhr
Wann 14:15 15:15 25.11.2011
von bis
Wo L109
Termin übernehmen vCal
iCal

Yangyue Feng,
Typed Operational Semantics for Intensional Dependent Record Types

We build a typed operational semantics for a system of dependent record types (IDRT), following Goguen's approach in his PhD thesis in 1994. The typed operational semantics is proven to be sound and complete to the IDRT, and by soundness and proving metatheories for the typed operational semantics, we proved certain metatheories for the IDRT, such as subject reduction, strong normalization and Church-Rosser property.

Artikelaktionen

abgelegt unter:

Funktionsleiste