"Resolution in type theory" by P. B.(Peter Bruce) Andrews

Skip to main content

Department of Mathematical Sciences

Authors

P. B.(Peter Bruce) Andrews, Carnegie Mellon University

Title

Resolution in type theory

Date of Original Version

1970

Type

Technical Report

COinS