Typed Lambda Calculi and Applications - bib.howest.be

Typed Lambda Calculi and Applications

Type:: e-book
Titel:: Typed Lambda Calculi and Applications
Auteur:: Hasegawa, Masahito
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2013
ISBN:: 3-642-38945-7
3-642-38946-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:3280000000007676