Your search returned 4 results.

Results
		Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others]. by Barendregt, H. P. (Hendrik Pieter) [author.] Dekkers, Wil [author.] Statman, Richard [author.] Alessi, Fabio [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin. by Hindley, J. Roger [author.] Seldin, J. P [author.] Edition: Second edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2008 Other title: Lambda-Calculus & Combinators Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien. by Amadio, Roberto M [author.] Curien, P.-L. (Pierre-Louis) [author.] Series: Cambridge tracts in theoretical computer science ; 46. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1998 Other title: Domains & Lambda-Calculi Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Categories for types / Roy L. Crole. by Crole, Roy L [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1993 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.