Isomorphisms of Types

from λ-calculus to information retrieval and language design

Authors:

ISBN: 978-1-4612-7585-5 (Print) 978-1-4612-2572-0 (Online)