podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Fakultät für Mathematik, Informatik und Statistik - Digitale Hochschulschriften der LMU - Teil 01/02 Podcast
  4. Decidability for Non-Standard Conversions in Typed Lambda-Calculi
This thesis studies the decidability of conversions in typed
lambda-calculi, along with the algorithms allowing for this
decidability. Our study takes in consideration conversions going
beyond the traditional beta, eta, or permutative conversions (also
called commutative conversions). To decide these conversions, two
classes of algorithms compete, the algorithms based on rewriting,
here the goal is to decompose and orient the conversion so as to
obtain a convergent system, these algorithms then boil down to
rewrite the terms until they reach an irreducible forms; and the
"reduction free" algorithms where the conversion is decided
recursively by a detour via a meta-language. Throughout this
thesis, we strive to explain the latter thanks to the former.

Weitere Episoden

Generalized Bayesian inference under prior-data conflict

Generalized Bayesian inference under prior-data conflict

vor 12 Jahren
Regularity for degenerate elliptic and parabolic systems

Regularity for degenerate elliptic and parabolic systems

vor 12 Jahren
Reifegradmodelle für Werkzeuglandschaften zur Unterstützung von ITSM-Prozessen

Reifegradmodelle für Werkzeuglandschaften zur Unterstützung von ITSM-Prozessen

vor 12 Jahren
Similarity search and mining in uncertain spatial and spatio-temporal databases

Similarity search and mining in uncertain spatial and spatio-temporal databases

vor 13 Jahren
Tensor factorization for relational learning

Tensor factorization for relational learning

vor 13 Jahren
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Decidability for Non-Standard Conversions in Typed Lambda-Calculi“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz