Hard life with weak binders

DOI10.1016/J.ENTCS.2009.06.013MaRDI QIDQ5170666zbMATH OpenOpenAlexFDO

Authors Massimo Bartoletti, Roberto Zunino, Pierpaolo Degano, Gian Luigi Ferrari

Publication date 23 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.06.013

zbMATH Keywords

alpha-conversionfreshnessnominal calculivariable binding

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Nominal SOS
• Weak nominal modal logic
• Leaving the nest: nominal techniques for variables with interleaving scopes
• Generative Unbinding of Names
• A fresh look at programming with names and binders

Cites work

• A calculus of mobile processes. II
• A new approach to abstract syntax with variable binding
• A theory of contracts for web services
• Algebra of communicating processes with abstraction
• Closed reduction: explicit substitutions without $\alpha$ -conversion
• FreshML: programming with binders made simple
• Hard life with weak binders
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 2154399 (Why is no real title available?)
• Names of the -calculus agents handled locally
• On a monadic semantics for freshness
• Operational reasoning for functions with local state
• Proof Pearl: De Bruijn Terms Really Do Work
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• Types and Effects for Resource Usage Analysis

Cited in

(2)

• scientific article; zbMATH DE number 7204413 (Why is no real title available?)
• Hard life with weak binders

Describes a project that uses

Uses Software

• FreshML

This page was built for publication: Hard life with weak binders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170666)