On applicative theories (1999)

by Gerhard Jäger, Reinhard Kahle, Thomas Strahm
Venue:Logic and Foundations of Mathematics