Skip to main content
SpringerLink
Log in

Two PhD Students for the Price of One

  • Chapter
Formal Modeling: Actors, Open Systems, Biological Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7000))

  • 645 Accesses

Abstract

Carolyn Talcott received her PhD in Computer Science at Stanford under my nominal direction in 1985; thereby hangs a tale. A year later, largely under her tutelage and again under my nominal direction, Ian Mason received his PhD in the Special Program in Logic, Philosophy of Language and the Philosophy of Science at Stanford; thereby hangs a subsidiary tale.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Feferman, S.: A language and axioms for explicit mathematics. In: Crossley, J.N. (ed.) Algebra and Logic. Lecture Notes in Mathematics, vol. 450, pp. 87–139. Springer, Berlin (1975)

    Google Scholar 

  • Mason, I.A.: The metatheory of the classical propositional calculus is not axiomatizable. J. Symbolic Logic 50, 451–457 (1985)

    Google Scholar 

  • Mason, I.A.: The Semantics of Destructive Lisp. PhD Dissertation, Stanford University (1986)

    Google Scholar 

  • Mason, I.A., Talcott, C.L.: Feferman-Landin logic. In: Sieg, W., Sommer, R., Talcott, C. (eds.) Reflections on the Foundations of Mathematics, Association for Symbolic Logic, Urbana, IL. Lecture Notes in Logic, vol. 15, pp. 293–328. A K Peters, Ltd., Natick (2002)

    Google Scholar 

  • Talcott, C.L.: The Essence of Rum: A theory of the intensional and extensional aspects of Lisp-type computation. PhD Dissertation, Stanford University (1985)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, Stanford, CA, 94305, USA

    Solomon Feferman

Authors
  1. Solomon Feferman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Thomas M. Siebel Center for Computer Science, University of Illinois, 201 N. Goodwin Avenue, MC 258, 61801, Urbana, IL, USA

    Gul Agha

  2. Department of Computer Science, Aarhus University, Abogade 34, 8200, Aarhus N, Denmark

    Olivier Danvy

  3. University of Illinois at Urbana-Champaign, USA

    José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Feferman, S. (2011). Two PhD Students for the Price of One. In: Agha, G., Danvy, O., Meseguer, J. (eds) Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol 7000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24933-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24933-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24932-7

  • Online ISBN: 978-3-642-24933-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation