The Clausal Theory of Types, volume 21 of Cambridge Tracts (1993)

by D A Wolfram
Venue:in Theoretical Computer Science