![book ALGOL-like Languages](/covers/files_170/964000/7d3de96bd49a6c5af45fd43d0a8d5a40-d.jpg)
- Author: Peter W. O’Hearn Robert D. Tennent
- Language: English
- Year: 1996
![book Isomorphisms of Types: from λ-calculus to information retrieval and language design](/covers/files_170/964000/2d383111764b018963bb8f3e151b18f2-d.jpg)
- Author: Roberto Di Cosmo (auth.)
- Language: English
- Year: 1995
![book The Combinatory Programme](/covers/files_170/964000/ea27ae0407eaedf91e3f03fa43229981-d.jpg)
- Author: Erwin Engeler (auth.)
- Language: English
- Year: 1995
![book Subrecursive Programming Systems: Complexity & Succinctness](/covers/files_170/964000/503b8912ed1d1e1c35873d126a7fb6af-d.jpg)
- Author: James S. Royer John Case (auth.)
- Language: English
- Year: 1994
![book Algorithms for Random Generation and Counting: A Markov Chain Approach](/covers/files_170/964000/b82795a68aa77755d7828ee7d7676f54-d.jpg)
- Author: Alistair Sinclair (auth.)
- Language: English
- Year: 1993
![book Categorical Combinators, Sequential Algorithms, and Functional Programming](/covers/files_170/964000/388fe07e9c0ab66d200f16fd207ad6ab-d.jpg)
- Author: Pierre-Louis Curien
- Language: English
- Year: 1993
![book The Graph Isomorphism Problem: Its Structural Complexity](/covers/files_170/964000/f480ae3f014b9bb53c047dba825ea6d1-d.jpg)
- Author: Johannes Köbler Uwe Schöning Jacobo Torán (auth.)
- Language: English
- Year: 1993
![book Complexity Theory of Real Functions](/covers/files_170/963000/edd6a62de44a52e55411581538b9d995-d.jpg)
- Author: Ker-I Ko (auth.)
- Language: English
- Year: 1991
![book Semantics of Type Theory: Correctness, Completeness and Independence Results](/covers/files_170/963000/48691258dabdbc46bd59b9e46977e26c-d.jpg)
- Author: Thomas Streicher (auth.)
- Language: English
- Year: 1991
![book Logic of Domains](/covers/files_170/963000/e45830a5ed286cc763433c5cf3ce56f8-d.jpg)
Logic of Domains
pdf
- Author: Guo-Qiang Zhang (auth.)
- Language: English
- Year: 1991