Sketches and computation – I: basic definitions and static evaluation (Q4302336): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Introduction to distributive categories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3682648 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Accessible Categories: The Foundations of Categorical Model Theory / rank | |||
Normal rank | |||
Revision as of 16:20, 22 May 2024
scientific article; zbMATH DE number 618211
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sketches and computation – I: basic definitions and static evaluation |
scientific article; zbMATH DE number 618211 |
Statements
Sketches and computation – I: basic definitions and static evaluation (English)
0 references
14 August 1994
0 references
quasi-projective sketches
0 references
static evaluation
0 references
