Categorical Logic and Type Theory

Voorkant
Elsevier Science, 1999 - 760 pagina's
This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.

Wat mensen zeggen - Een review schrijven

We hebben geen reviews gevonden op de gebruikelijke plaatsen.

Overige edities - Alles weergeven

Bibliografische gegevens