Gå direkte til innholdet
Categorical Logic and Type Theory
Categorical Logic and Type Theory
Spar

Categorical Logic and Type Theory

Forfatter:
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Forfatter
B. Jacobs
ISBN
9780080528700
Språk
Engelsk
Utgivelsesdato
14.1.1999
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin