Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Search

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

2 results

  • On characterizations of the basic feasible functionals, Part I

  • ROBERT J. IRWIN, JAMES S. ROYER, BRUCE M. KAPRON
  • Journal:
    Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
    Published online by Cambridge University Press:
    26 March 2001, pp. 117-153
    • Article
      • You have access
    • PDF
    • Export citation

  • We introduce a typed programming formalism, type-2 inflationary tiered loop programs or ITLP2, that characterizes the type-2 basic feasible functionals. ITLP2 is based on Bellantoni and Cook's (1992) and Leivant's (1995) type-theoretic characterization of polynomial-time, and turns out to be closely related to Kapron and Cook's (1991; 1996) machine-based characterization of the type-2 basic feasible functionals.

  • Modal sequents and definability

  • Bruce M. Kapron
  • Journal:
    The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
    Published online by Cambridge University Press:
    12 March 2014, pp. 756-762
    Print publication:
    September 1987

  • The language of propositional modal logic is extended by the introduction of sequents. Validity of a modal sequent on a frame is defined, and modal sequent-axiomatic classes of frames are introduced. Through the use of modal algebras and general frames, a study of the properties of such classes is begun.