Isomorphisms of Types From Calculus to Information Retrieval And Language Design
Isomorphisms of Types: from λ-calculus to information retrieval and language design (Repost) eBooks & eLearning
Posted by insetes at Feb. 12, 2019
Isomorphisms of Types: from λ-calculus to information retrieval and language design By Roberto Di Cosmo (auth.)
1995 | 235 Pages | ISBN: 1461275857 | PDF | 8 MB
1995 | 235 Pages | ISBN: 1461275857 | PDF | 8 MB