Categorical Logic and Type Theory

Main
Mathematics
Categorical Logic and Type Theory

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
ISBN: 9780444501707

Bart Jacobs

0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

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.

Kategorien:

Mathematics

Jahr:

1999

Verlag:

Elsevier

Sprache:

english

Seiten:

780

ISBN 10:

0444501703