Fingerprint
Dive into the research topics of 'Strong normalizability for the combined system of the typed lambda calculus and an arbitrary convergent term rewrite system'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Strong normalizability for the combined system of the typed lambda calculus and an arbitrary convergent term rewrite system
Mitsuhiro Okada
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
38
Citations
(Scopus)