On the public citation graph

Higher-order action calculi

0 signed · 25 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-09987-5_26openalex-snapshot

Types and structures

inferredcites →https://doi.org/10.1007/3-540-57182-5_7openalex-snapshot

Action calculi, or syntactic action structures

inferredcites →https://doi.org/10.1007/3-540-57182-5_8openalex-snapshot

Observable properties of higher order functions that dynamically create local names, or: What's new?

inferredcites →https://doi.org/10.1007/3-540-58233-9_1openalex-snapshot

Interaction systems

inferredcites →https://doi.org/10.1007/978-3-642-58041-3_6openalex-snapshot

The Polyadic π-Calculus: a Tutorial

inferredcites →https://doi.org/10.1007/bf01491213openalex-snapshot

Facile: A symmetric integration of concurrent and functional programming

inferredcites →https://doi.org/10.1007/bfb0049338openalex-snapshot

Normalization for typed lambda calculi with explicit substitution

inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot

The chemical abstract machine

inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot

A calculus of mobile processes, I

inferredcites →https://doi.org/10.1145/96709.96712openalex-snapshot

Explicit substitutions

inferredcites →https://doi.org/10.2307/2185110openalex-snapshot

The | lambda-Calculus.

inferredcites →https://doi.org/10.2307/2274784openalex-snapshot

Introduction to Higher Order Categorical Logic.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-44618-4_7openalex-snapshot

From Process Calculi to Process Frameworks

inferred← citeshttps://doi.org/10.1007/3-540-62688-3_37openalex-snapshot

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi

inferred← citeshttps://doi.org/10.1007/978-1-4471-0865-8openalex-snapshot

Models of Sharing Graphs

inferred← citeshttps://doi.org/10.1007/bf03036472openalex-snapshot

Calculi for interaction

inferred← citeshttps://doi.org/10.1007/bfb0014545openalex-snapshot

Strong normalisation in higher-order action calculi

inferred← citeshttps://doi.org/10.1007/bfb0014569openalex-snapshot

Types and models for higher-order action calculi

inferred← citeshttps://doi.org/10.1007/bfb0028008openalex-snapshot

From action calculi to linear logic

inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100622openalex-snapshot

The Cπ-calculus: A model for confidential name passing

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00362-0openalex-snapshot

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00355-7openalex-snapshot

Closed action calculi

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80012-4openalex-snapshot

A Name-free Account of Action Calculi

inferred← citeshttps://doi.org/10.1109/lics.1995.523256openalex-snapshot

Control structures

inferred← citeshttps://doi.org/10.70675/a6c55256z1f31z437czaf55z88753e210716openalex-snapshot

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.