Gratis Versand in ganz Österreich
Bookbot

Extensions of system F by iteration and primitive recursion on monotone inductive types

Autor*innen

Buchkauf

Extensions of system F by iteration and primitive recursion on monotone inductive types, Ralph Matthes

Sprache
Erscheinungsdatum
1999
Wir benachrichtigen dich per E-Mail.

Lieferung

  • Gratis Versand in ganz Österreich

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben