Fingerprint
Dive into the research topics of 'Almost every simply typed λ-term has a long β-reduction sequence'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Almost every simply typed λ-term has a long β-reduction sequence
Ryoma Sin’ya, Kazuyuki Asada, Naoki Kobayashi, Takeshi Tsukada
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5
Citations
(Scopus)