Termination checking with types

By Andreas Abel. 2004

65 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics