Isomorphisms of Types: from λ-calculus to information retrieval and language design

Publisher Website

1 January 1995

book
Published by Springer Nature

https://doi.org/10.1007/978-1-4612-2572-0

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: