Publication:3046754

zbMath1049.68754MaRDI QIDQ3046754

Luca Cardelli, Cédric Fournet, Nick Benton

Publication date: 12 August 2004

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

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N15: Theory of programming languages

68U99: Computing methodologies and applications

Related Items

Inheritance in the join calculus., MOMI: a calculus for mobile mixins