STOC 1985
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)
Abstract
No abstract is available in the live database for this paper.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- ACM Symposium on Theory of Computing
- Archive span
- 1969-2025
- Indexed papers
- 4364
- Paper id
- 892388992231560002