Termination Checking with Types (1999)

by Andreas Abel
Citations:28 - 6 self

Document Versions

Termination Checking with Types –Andreas Abel — 1999