Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Notes on Categorical Logic
LIBRARY

File hashes

MD5
9cb588653b397f203427eaf755dfd9c2
SHA1
UQ7GZOLQJPFK4ZK552QCNNSKVVZPSZNS
SHA256
04663834fc88941c08b1419db2bc92d9 bb79a5acb24200b8f3a603c97a8c8259
AICH
4KZCK2IW5YLQ4CMGZMPLSFR5ATTSM5WC
CRC32
83d6d0fc
eDonkey
9751331814e3438fe66b84c2300d7de0
TTH
LUSEFCFB2S4KWHBZ52PJFB7YN2W3GZEM4OCML6I

Available files

  • PDF

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Notes on Categorical Logic

By Andrew M. Pitts

Book information

Year
1989
Language
english
Format
PDF
Filesize
6 MB (5875449 bytes)
Series
Lecture notes
Pages
78\78
Time added
2016-09-19 02:45:44

Similar books

LIBRARY

Lecture Notes on Denotational Semantics

2012 · PDF

LIBRARY

Categorical Logic

1995 · PDF

LIBRARY

Nominal Sets: Names and Symmetry in Computer Science

2013 · PDF

LIBRARY

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · PDF

LIBRARY

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · PDF

LIBRARY

Semantics and logics of computation

2009 · DJVU

LIBRARY

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

1989 · DJVU

LIBRARY

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · DJVU

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme