References

{Arbib and Manes}{1975 Chapter X}{Arbib-Manes:75}

{Asperti and Longo}{1991 Section 4.2}{Asperti-Longo:91}

{Backus}{1978}{Backus:78}

{Barwise and Etchemendy}{1987}{Barwise-Etchemendy:87}

{Bird and de Moor}{1992}{Bird-deMoor:92}

{Bird}{1986}{Bird:86}

{Burge}{1975}{Burge:75}

{Curry and Feys}{1958}{Curry:58}

{Curry}{1958}{Curry:58}

{Henson}{1987}{Henson:87}

{Hofstadter}{1985}{Hofstadter:85}

{Jones}{1992}{Jones:92}

{Malcolm}{1989}{Malcolm:89}

{Martin}{1970}{Martin:70}

{Meijer et al}{1991}{Meijer-etal:91}

{Mendelson}{1964}{Mendelson:64}

{Pierce}{1991}{Pierce:91}

{Poigne}{1992}{Poigne:92}

{Quine}{1971}{Quine:71}

{Rogers}{1967}{Rogers:67}

{Rydeheard}{1985}{Rydeheard:85}

{Smullyan}{1961}{Smullyan:61}

{Smullyan}{1990}{Smullyan:90}

{Spivey}{1989}{Spivey:89}

{Tennent}{1991 Chapter 8}{Tennent:91}

{Wadler}{1992}{Wadler:92}

{Walters}{1991}{Walters:91}

{von Thun}{1995}{j00lov}

{Barendregt}{1984 p 132}{Barendregt:84}

{Bauer and Wϧssner}{1982 p 107}{Bauer-Woessner:82}

{Henson}{1987 p 35}{Henson:87}

{Henson}{1987 p 36}{Henson:87}

{Henson}{1987 p 37}{Henson:87}

{Kogge}{1991 p 105}{Kogge:91}

{Paulson}{1992 p 207}{Paulson:92}

{Phillips}{1992 p 173}{Phillips:92}

{Phillips}{1992 p 81}{Phillips:92}

{Poigne}{1992, p 447}{Poigne:92}

{Schmidt}{1986 p 157}{Schmidt:86}

{Sokolowski}{1991 p 83}{Sokolowski:91}

{Stoy}{1977 p 72}{Stoy:77}

{Tennent}{1976 p 442}{Tennent:76}

{Tennent}{1991 p 218}{Tennent:91}

{Wadler}{1992 p 14}{Wadler:92}

{Paulson}{1992 pp 349 and 351}{Paulson:92}

{Revesz}{1988 pp 47-48}{Revesz:88}

{Rogers}{1967 pp 34 and 324}{Rogers:67}

{Smullyan}{1994 pp 19, 263, 336}{Smullyan:94}

{Winskel}{1993 pp 272 and 292}{Winskel:93}