Skip to content
cs-conference-ranking.org

Unification in Order-Sorted Type Theory.

Michael Kohlhase

VenueBLPAR
Year1992
ProceedingsLPAR
DBLP recordconf/lpar/Kohlhase92 ↗

Browse the full LPAR paper archive.