Sciweavers

FOSSACS
2005
Springer

Mathematical Models of Computational and Combinatorial Structures

13 years 8 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of course, should be taken in conjunction with the wellestablished views and methods stemming from algebra, category theory, domain theory, logic, type theory, etc. In support of this proposal I will show how such an approach leads to interesting connections between various areas of computer science and mathematics; concentrating on one such example in some detail. Specifically, I will consider the line of my research involving denotational models of the pi calculus and algebraic theories with variable-binding operators, indicating abstract mathematical structure underlying these models fits with that of Joyal’s combinatorial species of structures. This analysis suggests both the unification and generalisation of models, and in the latter vein I will introduce generalised species of structures and their calculu...
Marcelo P. Fiore
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FOSSACS
Authors Marcelo P. Fiore
Comments (0)