Excluded middle without definite descriptions in the theory of constructions (1991)

by J Seldin
Venue:In Proc. of the 1st Montreal Workshop on Programming Language Theory