"Categories for Types"

1 uitgave gevonden

• Categories for Types Roy L. Crole Engelstalig Paperback 9780521457019 335 pagina's This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered... Vanaf 65,00 Bekijk exemplaren