Typed Lambda Calculi and Applications

Publisher: Springer Berlin Heidelberg Release date: 2007-07-11
Additional Information

Genre: Mathematical logic

Collection: Springer

Type: Adobe PDF

ISBN: 9783540732280

Additional Information

Genre: Mathematical logic

Collection: Springer

Type: Adobe PDF

ISBN: 9783540732280

Other eBooks releases by
Loading... Please wait