Sciweavers

14084 search results - page 364 / 2817
» A Theory for Game Theories
Sort
View
TPHOL
2009
IEEE
16 years 1 months ago
Some Domain Theory and Denotational Semantics in Coq
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
Nick Benton, Andrew Kennedy, Carsten Varming
CAI
2009
Springer
16 years 1 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
CONCUR
2009
Springer
16 years 1 months ago
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
Richard H. G. Garner, Tom Hirschowitz, Auré...
CSL
2009
Springer
16 years 1 months ago
Forcing and Type Theory
Thierry Coquand