1 |
Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
: us,: sz. - 2nd ed. - Boston : Birkhäuser , c1993
|
2 |
Complexity theory of real functions / Ker-I Ko
: Boston,: Basel. - Boston ; Basel : Birkhäuser , 1991
|
3 |
Isomorphisms of types : from λ-calculus to information retrieval and language design / Roberto Di Cosmo
Boston : Birkhäuser , 1995
|
4 |
Logic of domains / Guo-Qiang Zhang
: Boston,: Basel. - Boston : Birkhäuser , 1991
|
5 |
Nondeterminism in algebraic specifications and algebraic programs / Heinrich Hussmann
Boston : Birkhäuser , c1993
|
6 |
Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher
: Basel,: Boston. - Boston : Birkhäuser , 1991
|
7 |
Solving higher-order equations : from logic to programming / Christian Prehofer
Boston : Birkhäuser , c1998
|