作者:
PARIGOT, MEquipe de Logique
CNRS UA 753 Université Paris 7 UFR de Mathématiques 2 place Jussieu PARIS Cedex 05 75251 France
We analyse the algorithmic properties of programs induced by the choice of the representation of data in lambda-calculus. From a logical point of view there are two canonical ways of defining the data types: the itera...
详细信息
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proo...
ISBN:
(纸本)9783540516620
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer scientist perspective;independence results for calculi of dependent types;quantitative domains, groupoids and linear logic;graded multicategories of polynomial-time realizers;on the semantics of second order lambda calculus: From Bruce-Meyer-Mitchell models to hyperdoctrine models and vice-versa;dictoses;declarative continuations: An investigation of duality in programming language semantics;logicrepresentation in LF: Report on work in progress;unification properties of commutative theories: A categorical treatment;an abstract formulation for rewrite systems;from Petri nets to linear logic;an algebraic view of interleaving and distributed operational semantics for CCS;a dialectica-like model of linear logic;a final coalgebra theorem;temporal structures;compositional relational semantics for indeterminate dataflow networks;operations on records;projections for polymorphic strictness analysis;a category-theoretic account of program modules;a note on categorical datatypes;a set constructor for inductive sets in Martin-Löf's type theory.
This paper demonstrates a notion for formal semantics specification of concurrent programming languages and applies it to the concurrent part of the programming language Ada. The abstract syntax of an Ada program is g...
详细信息
暂无评论