Non well foundedness and type freeness can unify the interpretation of functional application (1993)

by F Kamareddine
Venue:Logic, Language and Information