Gordon D. Plotkin (plotkin-g)
Beiträge zu 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.