[Home] [CV] [Publications]

Publications

Plus dead 464d287f739b8ca6f1ee5f5933eb559dbaeef6a58e9d9c22acd9710ba53861bd Towards a Theory of Mechanized Reasoning I: FOL contexts, an extensional view
Talcott, C. L. and Weyhrauch, R. W. - 1990