David Ballard

According to our database, David Ballard authored at least 4 papers between 1985 and 1998.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

1998

Definability and Descent.

David Ballard, William Boshuck

J. Symb. Log., 1998

1992

Standard Foundations for Nonstandard Analysis.

David Ballard, Karel Hrbacek

J. Symb. Log., 1992

1988

Combinatory completeness without classical equality.

David Ballard

J. Philos. Log., 1988

1985

Independence in higher-order subclassical logic.

David Ballard

Notre Dame J. Formal Log., 1985