Categorical Logic And Type Theory

Name: Categorical Logic And Type Theory
SKU: 528bfb4bc2074a87cacf385f775ed2e5
Price: 121 EUR
Availability: InStock

1/1

Afbeelding van Categorical Logic And Type Theory

Bol

Prijzen vanaf

121,00

Uitgelicht

	121,00	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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.

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

€ 121,00 Gratis verzending

Beschrijving (1)

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.

Lees meer