scientific article; zbMATH DE number 1956508

MaRDI QIDQ4417854zbMATH OpenFDO

Authors Martin Berger, Kohei Honda, Nobuko Yoshida

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200103.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Genericity and the \(\pi\)-calculus
• A generic type system for the -calculus
• scientific article; zbMATH DE number 1759486
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• A generic type system for the pi-calculus
• -calculus in (Co)inductive-type theory
• The -calculus in the -calculus
• On notions of genericity and mutual genericity
• scientific article; zbMATH DE number 1346361
• A symbolic semantics for the \(\pi\)-calculus

Cited in

(14)

• Full abstraction for polymorphic \(\pi \)-calculus
• Ensuring termination by typability
• Genericity and the \(\pi\)-calculus
• The polymorphic imperative: a generic approach to in-place update
• Processes and games
• Observed Communication Semantics for Classical Processes
• Every 1-generic computes a properly 1-generic
• Invisible genericity and 0^#
• scientific article; zbMATH DE number 1523032 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• Behavioral equivalence in the polymorphic pi-calculus
• Strong normalisation in the \(\pi\)-calculus
• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Linearity and bisimulation

This page was built for publication:

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