Models for Various Type-Free Calculi

• 1 January 1973
• book chapter
• Published by Elsevier
• p. 157-187
• https://doi.org/10.1016/s0049-237x(09)70356-8

Abstract