Explore the latest books of this year!
Bookbot

Constructive domain models of typed lambda calculi

Book purchase

Constructive domain models of typed lambda calculi, Andreas Gruchalski

Language
Released
1996
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating