Search Results

Refine Results
  1. Cover Image

    Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Computation Tree Logic with Deadlock Detection

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    The Complexity of Infinite Computations In Models of Set Theory

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Infinitary Combinatory Reduction Systems: Confluence

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    A Step-indexed Semantics of Imperative Objects

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    A Type System For Call-By-Name Exceptions

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    A rich hierarchy of functionals of finite types

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Applications of Metric Coinduction

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Representations of Stream Processors Using Nested Fixed Points

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Full abstraction for nominal general references

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Relational Parametricity for Computational Effects

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    RPO, Second-order Contexts, and Lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Two-Way Unary Temporal Logic over Trees

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Lindstrom theorems for fragments of first-order logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Decidability of higher-order matching

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    A Theory of Explicit Substitutions with Safe and Full Composition

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Formalising the pi-calculus using nominal logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Explicit fairness in testing semantics

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Polygraphic programs and polynomial-time functions

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: