Il libro è attualmente esaurito
Parametri
Acquisto del libro
Extensions of system F by iteration and primitive recursion on monotone inductive types, Ralph Matthes
- Lingua
- Pubblicato
- 1999
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.