Basis simple type theory / J. Roger Hindley (2008)

Public Titre : Basis simple type theory Type de document : texte imprimé Auteurs : J. Roger Hindley, Auteur Editeur : Cambridge University Press. Année de publication : 2008 ISBN/ISSN/EAN : 978-052105422 Langues : Français (fre) Permalink : https://elibrary.esi-sba.dz/opac_css/index.php?lvl=notice_display&id=1163

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
099-00136-01	JRO	Livre	Bibliothèque ESI-SBA	Documentaires	Disponible
099-00136-02	JRO	Livre	Bibliothèque ESI-SBA	Documentaires	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Lambda-Calculus and Combinators: An Introduction / J. Roger Hindley (2008)

Public Titre : Lambda-Calculus and Combinators: An Introduction Type de document : texte imprimé Auteurs : J. Roger Hindley, Auteur ; Jonathan P. Seldin., Auteur Editeur : Cambridge University Press. Année de publication : 2008 ISBN/ISSN/EAN : 978-0-521-89885-0 Langues : Français (fre) Permalink : https://elibrary.esi-sba.dz/opac_css/index.php?lvl=notice_display&id=1098

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
510-00021-01	JRO	Livre	Bibliothèque ESI-SBA	Documentaires	Disponible
510-00021-02	JRO	Livre	Bibliothèque ESI-SBA	Documentaires	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !