Forskning ved Københavns Universitet - Københavns Universitet

Forside

A metric model of lambda calculus with guarded recursion

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  • Lars Birkedal
  • Jan Schwinghammer
  • Kristian Støvring
We give a model for Nakano’s typed lambda calculus with guarded recursive definitions in a category of metric spaces. By proving a computational adequacy result that relates the interpretation with the operational semantics, we show that the model can be used to reason about contextual equivalence.
OriginalsprogEngelsk
Titel7th Workshop on Fixed Points in Computer Science : FICS 2010
RedaktørerLuigi Santocanale
Antal sider7
Publikationsdato2010
Sider19-25
StatusUdgivet - 2010
Begivenhed7th Workshop on Fixed Points in Computer Science - Brno, Tjekkiet
Varighed: 21 aug. 201022 aug. 2010
Konferencens nummer: 7

Konference

Konference7th Workshop on Fixed Points in Computer Science
Nummer7
LandTjekkiet
ByBrno
Periode21/08/201022/08/2010

Links

ID: 172433507