Category theory and computer science: 6th international conference, ctcs '95, cambridge, united kingdom, august 7-11, 1995 - proceedings
Auteur :
Pitt, David
ISBN :
9783540601647
Date de publication :
21 juil. 1995
Dimensions :
23,3 x 15,5 x 1,4 cm
Poids :
850 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.