Search Results - Calculus

  1. Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus

    Get full text
    Online Article RSS Article
  2. A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

    Get full text
    Online Article RSS Article
  3. Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Get full text
    Online Article RSS Article
  4. A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

    Get full text
    Online Article RSS Article
  5. Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

    Get full text
    Online Article RSS Article
  6. The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus

    Get full text
    Online Article RSS Article
  7. FRACTAL, FRACTIONAL CALCULUS, AND AI: ADVANCED TOOLS DRIVING INNOVATION IN MECHANICAL ENGINEERING

    Get full text
    Online Article RSS Article
  8. Quantitative Reasoning in Calculus III: Advancing Student Engagement, Confidence, and Aspirations at an HSI

    Get full text
    Online Article RSS Article
  9. A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

    Get full text
    Online Article RSS Article
  10. Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties

    Get full text
    Online Article RSS Article
  11. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

    Get full text
    Online Article RSS Article
  12. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

    Get full text
    Online Article RSS Article
  13. A Distribution Law for CCS and a New Congruence Result for the pi-calculus

    Get full text
    Online Article RSS Article
  14. A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics

    Get full text
    Online Article RSS Article
  15. Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

    Get full text
    Online Article RSS Article
  16. A Few Inequalities Established by Using Fractional Calculus and Their Applications to Certain Multivalently Analytic Functions

    Published in Chinese Journal of Mathematics (2014)
    Get full text
    Online Article RSS Article
  17. A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

    Get full text
    Online Article RSS Article
  18. Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

    Get full text
    Online Article RSS Article
  19. Time scales calculus for $mathcal{S}$-linearly correlated fuzzy number-valued functions and application to fuzzy functional dynamic equations

    Get full text
    Online Article RSS Article
  20. Evaluation of canine dental health problems in Ibadan, Nigeria

    Published 2014-09
    Full Text Available
    Access Repository
    Article