Arama Sonuçları Lambda calculus.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLambda$002bcalculus.$0026ic$003dtrue$0026ps$003d300?
2024-11-17T18:56:38Z
Abstract Computing Machines A Lambda Calculus Perspective
ent://SD_ILS/0/SD_ILS:181360
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.
ent://SD_ILS/0/SD_ILS:26487
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Aoun, Ali Salem<br/>Yer Numarası TEZ 3422 DR. 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Yer Numarası XX(520982.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519046.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:256636
2024-11-17T18:56:38Z
2024-11-17T18:56:38Z
Yazar Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>