Koha online

1.
Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
Place hold
2.
Domains and lambda-calculi

by Amadio, Roberto M | Curien, Pierre-Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
Place hold
3.
Lambda calculus with types

by Barendregt, Henk | Dekkers, Wil | Statman, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2013Availability: Items available for loan: [Call number: 511.35 BAR] (1).
Place hold
4.
Lambda calculus and combinators : an introduction

by Hindley, J. Roger | Seldin, J. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.35 HIN] (1).
Place hold
5.
Abstract computing machines : a lambda calculus perspective

by Kluge, Werner.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 511.3 KLU] (1).
Place hold
6.
Foundations of object-oriented languages : types and semantics

by Bruce, Kim B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2002Availability: Items available for loan: [Call number: 005.117 BRU] (1).
Place hold
7.
Ideas that created the future : classic papers of computer science

by Lewis, Harry R.

Publisher: Cambridge : MIT Press, 2021Availability: Items available for loan: [Call number: 004 LEW] (1).
Place hold

Powered by Koha