Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
Journal article, Peer reviewed
Published version
![Thumbnail](/bora-xmlui/bitstream/handle/11250/3059241/1-s2.0-S0304397522000317-main.pdf.jpg?sequence=6&isAllowed=y)
View/ Open
Date
2022Metadata
Show full item recordCollections
- Department of Informatics [928]
- Registrations from Cristin [9791]
Abstract
We solve in polynomial time two decision problems that occur in type checking when typings depend on universe level constraints.