A lambda calculus satellite / Henk Barendregt, Giulio Manzonetto

Auteur principal : Barendregt, Hendrik Pieter, 1947-...., Auteur IdrefCo-auteur : Manzonetto, Giulio, 1980-, Auteur IdrefType de document : MonographieCollection : Studies in logic, 94Langue : anglais.Pays: Grande Bretagne.Éditeur : 2022Description : 1 vol. (XVI-582 p.) : couv. ill. en coul., ill.ISBN: 9781848904156.Bibliographie : Bibliogr. p. 517-550. Index.Sujet MSC : 03B40, Combinatory logic and lambda calculus, General logic
03D60, Other nonclassical logic, General logic
03D55, Intermediate logics, General logic
68N18, Functional programming and lambda calculus, Theory of software
68Q42, Grammars and rewriting systems, Theory of computing
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 BAR (Browse shelf(Opens below)) Available 12691-01
Monographie Monographie CMI
Salle 1 		03 BAR (Browse shelf(Opens below)) Available 12691-02

Bibliogr. p. 517-550. Index

There are no comments on this title.

to post a comment.