Plus d’un million de livres, à portée de main !
Bookbot

Constructive domain models of typed lambda calculi

Achat du livre

Constructive domain models of typed lambda calculi, Andreas Gruchalski

Langue
Année de publication
1996
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer