Solving type equations by graph rewriting
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 158-179
- https://doi.org/10.1007/3-540-15976-2_8
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data representation and lexical calculiInformation Processing & Management, 1984
- What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic NetworksComputer, 1983
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- On Order in the Continuum, and the Relation of Truth to Non-ContradictorityIndagationes Mathematicae, 1951
- Lattice TheoryPublished by American Mathematical Society (AMS) ,1940