Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 / Martin Hofmann

Auteur principal collectivité : TLCA, 6, 2003, AuteurAuteur secondaire : Hofmann, Martin, 1965-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 2701Langue : anglais.Éditeur : Berlin : Springer, 2003ISBN: 3540403329.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science
03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B40, General logic, Combinatory logic and lambda calculus
68N18, Computer science - Theory of software, Functional programming and lambda calculus
En-ligne : Springerlink Item type: Livre numérique
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.