Billede af bogens forside - Categorical Logic and Type Theory

Categorical Logic and Type Theory

af B. (Computing Science Institute Jacobs

Bog, Paperback, Engelsk, 2001

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9780444508539
  • Udgivet10/05/2001
  • Udgivet afElsevier Science & Technology
  • Længde778 sider
  • ForfatterB. (Computing Science Institute Jacobs
  • GenreBusiness og læring, Videnskab