Homomorphisms and promotability
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 335-347
- https://doi.org/10.1007/3-540-51305-1_20
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Notes on an Approach to Category Theory for Computer ScientistsPublished by Springer Nature ,1989
- Lectures on Constructive Functional ProgrammingPublished by Springer Nature ,1989
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985