A Calculus for Type Predicates and Type Coercion
Paper in proceedings, 2005

Author

Martin Giese

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

utomated Reasoning with Analytic Tableaux and Related Methods, Tableaux 2005, Lecture Notes in Computer Science

Vol. 3702 123-137

Subject Categories

Computer and Information Science

More information

Created

10/6/2017