Leçons de théorie des esquisses
Diagrammes (1984)
- Volume: 12, page I1-X38
- ISSN: 0224-3911
Access Full Article
topHow to cite
topCitations in EuDML Documents
top- Jacques Penon, Approche polygraphique des -catégories non strictes
- John W. Gray, Executable specifications for data-type constructors
- Marie Bjerrum, A Sketch theoretical survey Towards a typology of mathematical structures
- E. Touratier, Étude du typage dans le système de calcul scientifique Aldor
- A. C. Reeves, Towards a sketch based model of self-interpreters
- C. Lair, Trames et sémantiques catégoriques des systèmes de trames