WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/26221504

Categorical logic and type theory

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.

Open All Close All

type

about

http://schema.org/about

author

contributor

creator

description

http://schema.org/description

  • "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."@en
  • "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."

genre

http://schema.org/genre

  • "Llibres electrònics"
  • "Electronic books"@en
  • "Electronic books"

name

http://schema.org/name

  • "Categorial logic and type theory"
  • "Categorical logic and type theory"@en
  • "Categorical logic and type theory"
  • "Categorical Logic and Type Theory"@en

workExample