Search Results for Lambda calculus.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLambda$002bcalculus.$0026ic$003dtrue$0026ps$003d300?
2025-03-08T07:40:22Z
Abstract Computing Machines A Lambda Calculus Perspective
ent://SD_ILS/0/SD_ILS:181360
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ent://SD_ILS/0/SD_ILS:181088
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
ent://SD_ILS/0/SD_ILS:26487
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Aoun, Ali Salem<br/>Preferred Shelf Number TEZ 3422 DR. 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520982
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5837-5">https://doi.org/10.1007/978-981-99-5837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Logics : An Introduction to the Logical Foundations of Language
ent://SD_ILS/0/SD_ILS:534693
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Gregory, Howard, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9780748691647">https://doi.org/10.1515/9780748691647</a>
<a href="https://www.degruyter.com/isbn/9780748691647">https://www.degruyter.com/isbn/9780748691647</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9780748691647/original">https://www.degruyter.com/document/cover/isbn/9780748691647/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519046
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:256636
2025-03-08T07:40:22Z
2025-03-08T07:40:22Z
Author Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>