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

Get full text

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Get full text

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Get full text

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

Get full text

The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus

Get full text

FRACTAL, FRACTIONAL CALCULUS, AND AI: ADVANCED TOOLS DRIVING INNOVATION IN MECHANICAL ENGINEERING

Get full text

Quantitative Reasoning in Calculus III: Advancing Student Engagement, Confidence, and Aspirations at an HSI

Get full text

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

Get full text

Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties

Get full text

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Get full text

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Get full text

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Get full text

A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics

Get full text

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Get full text

A Few Inequalities Established by Using Fractional Calculus and Their Applications to Certain Multivalently Analytic Functions

Get full text

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

Get full text

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

Get full text

Time scales calculus for $mathcal{S}$-linearly correlated fuzzy number-valued functions and application to fuzzy functional dynamic equations

Get full text