Proof, language, and interaction: essays in honour of Robin Milner

Authors:
Gordon Plotkin;Colin Stirling;Mads Tofte
Affiliations:
Univ. of Edinburgh;Univ. of Edinburgh;IT Univ. of Copenhagen, Denmark
Venue:
Proof, language, and interaction: essays in honour of Robin Milner
Year:
2000

Citing 0
Cited 3

$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

Fundamenta Informaticae
The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems

Theoretical Computer Science
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract