- Toposes Are Symmetric Monoidal Closed Categories
Object's details: Toposes Are Symmetric Monoidal Closed Categories
Structure
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Description
- Title:
- Group title:
- Creator:
- Subject and Keywords: ;
- Publisher:
- Place of publishing:
- Date:
- Resource Type:
- Format:
- Resource Identifier: oai:reader.digitarium.pcss.pl:62937
- Language:
- Coverage:
- Oryginal in:
Object is located in the collections:
See also
A categorical model of predicate linear logic
Creator:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Date:2015
Type:artykuł