• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition

School of Advanced Study, University of London
Institute of Philosophy

Follow
News Feed

Department Affiliates

  • 2
    Regular faculty
  • 6
    Other faculty
  • Retired faculty
  • 2
    Graduate students
  • Undergraduates
  • Alumni
  • 6
    Other

Department Activity

  •  News and Updates
  •  Publications
 More details

Details

  • Website

Also at School of Advanced Study, University of London

  • All departments
  • Other departments

Department Affiliates

  • 2
    Regular faculty
  • 6
    Other faculty
  • Retired faculty
  • 2
    Graduate students
  • Undergraduates
  • Alumni
  • 6
    Other

Department Activity

  •  News and Updates
  •  Publications

Also at School of Advanced Study, University of London

  • All departments
  • Other departments

  • Barry C. Smith, Tim Crane, ed., "The Contents of Experience" (review)
    International Journal of Philosophical Studies 2 (2): 347. 1994.
    Photo of Barry C. Smith
  • Barry C. Smith, Book Reviews (review)
    Philosophical Quarterly 43 (173): 560-563. 1993.
    Photo of Barry C. Smith
  • Barry C. Smith, Understanding Language
    Proceedings of the Aristotelian Society 92. 1992.
    Photo of Barry C. Smith
  • James Harland and David Pym, A Synopsis on the Identification of Linear Logic Programming Languages
    LFCS, Department of Computer Science, University of Edinburgh. 1992.
    Photo of David Pym
  • J. A. Harland and David Pym, On Resolution in Fragments of Classical Linear Logic: (extended Abstract)
    LFCS, Department of Computer Science, University of Edinburgh. 1992.
    Photo of David Pym
  • David Pym and Lincoln A. Wallen, Logic Programming Via Proof-valued Computations
    LFCS, Department of Computer Science, University of Edinburgh. 1992.
    Photo of David Pym
  • Barry C. Smith, Epistemic constraints on semantic theory
    Dissertation, University of Edinburgh. 1991.
    Photo of Barry C. Smith
  • James Harland and David J. Pym, The Uniform Proof-theoric Foundation of Linear Logic Programming: Extended Abstract
    LFCS, Department of Computer Science, University of Edinburgh. 1991.
    Photo of David Pym
  • Prev.
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Next

Details

  • Website
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback