Article,

Self-Reference with Negative Types.

, and .
J. Symb. Log., 49 (3): 754-773 (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews