Gordon D. Plotkin (plotkin-g)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Barwise, Jon K., Gawron, Jean Mark, Plotkin, Gordon D. and Tutiya, Syun, eds. 1991. Situation Theory and Its Applications, Volume 2. vol. 2. Stanford, California: CSLI Publications.
Plotkin, Gordon D. 1980. “Lambda-Definability in the Full Type Hierarchy.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 363–374. New York: Academic Press.
Plotkin, Gordon D. and Sterling, Colin. 1986. “A Framework for Intuitionistic Modal Logics.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 399–406. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.